Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro
Replication vs. Recursive Definitions in Channel Based Calculi
ICALP, 2003.
@inproceedings{ICALP-2003-BusiGZ, author = "Nadia Busi and Maurizio Gabbrielli and Gianluigi Zavattaro", booktitle = "{Proceedings of the 30th International Colloquium on Automata, Languages and Programming}", doi = "10.1007/3-540-45061-0_12", isbn = "3-540-40493-7", pages = "133--144", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Replication vs. Recursive Definitions in Channel Based Calculi}", volume = 2719, year = 2003, }