[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Bigraphical Programming Languages (BPL)

Hi All,

Anyone familliar with this?


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?