Replication vs. Recursive Definitions in Channel Based Calculi

Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro. Replication vs. Recursive Definitions in Channel Based Calculi. In Jos C. M. Baeten, Jan Karel Lenstra, Joachim Parrow, Gerhard J. Woeginger, editors, Automata, Languages and Programming, 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings. Volume 2719 of Lecture Notes in Computer Science, pages 133-144, Springer, 2003. [doi]

Authors

Nadia Busi

This author has not been identified. Look up 'Nadia Busi' in Google

Maurizio Gabbrielli

This author has not been identified. Look up 'Maurizio Gabbrielli' in Google

Gianluigi Zavattaro

This author has not been identified. Look up 'Gianluigi Zavattaro' in Google