Hi All, Anyone familliar with this? http://www.itu.dk/research/theory/bpl/frontpage.html The theory of bigraphs focuses simultaneously on two of the most important aspects of mobile distributed systems, namely mobile connectivity and mobile locality. As such, the theory is more general than earlier developed familiar calculi for mobile processes.Comments re. CSP / occam-pi? Tom. |