A Survey on Basic Connectors and Buffers

Roberto Bruni, Hernán C. Melgratti, Ugo Montanari. A Survey on Basic Connectors and Buffers. In Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue, editors, Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers. Volume 7542 of Lecture Notes in Computer Science, pages 49-68, Springer, 2011. [doi]

Authors

Roberto Bruni

This author has not been identified. Look up 'Roberto Bruni' in Google

Hernán C. Melgratti

This author has not been identified. Look up 'Hernán C. Melgratti' in Google

Ugo Montanari

This author has not been identified. Look up 'Ugo Montanari' in Google