A Timed Component Algebra for Services

Benoît Delahaye, José Luiz Fiadeiro, Axel Legay, Antónia Lopes. A Timed Component Algebra for Services. In Dirk Beyer, Michele Boreale, editors, Formal Techniques for Distributed Systems - Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings. Volume 7892 of Lecture Notes in Computer Science, pages 242-257, Springer, 2013. [doi]

Authors

Benoît Delahaye

This author has not been identified. Look up 'Benoît Delahaye' in Google

José Luiz Fiadeiro

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

Axel Legay

This author has not been identified. Look up 'Axel Legay' in Google

Antónia Lopes

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