Specifying and Composing Interaction Protocols for Service-Oriented System Modelling

João Abreu, Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes. Specifying and Composing Interaction Protocols for Service-Oriented System Modelling. In John Derrick, Jüri Vain, editors, Formal Techniques for Networked and Distributed Systems - FORTE 2007, 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings. Volume 4574 of Lecture Notes in Computer Science, pages 358-373, Springer, 2007. [doi]

Authors

João Abreu

This author has not been identified. Look up 'João Abreu' in Google

Laura Bocchi

This author has not been identified. Look up 'Laura Bocchi' in Google

José Luiz Fiadeiro

This author has not been identified. Look up 'José Luiz Fiadeiro' in Google

Antónia Lopes

This author has not been identified. Look up 'Antónia Lopes' in Google