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,
}











