Mikkel Bundgaard, Vladimiro Sassone
Typed polyadic π-calculus in bigraphs
PPDP, 2006.
@inproceedings{PPDP-2006-BundgaardS, author = "Mikkel Bundgaard and Vladimiro Sassone", booktitle = "{Proceedings of the Eighth International Conference on Principles and Practice of Declarative Programming}", doi = "10.1145/1140335.1140336", isbn = "1-59593-388-3", pages = "1--12", publisher = "{ACM}", title = "{Typed polyadic π-calculus in bigraphs}", year = 2006, }