Typed polyadic pi-calculus in bigraphs.

Mikkel Bundgaard, Vladimiro Sassone

Browse the full PPDP paper archive.