A Timed Component Algebra for Services

Formal Techniques for Distributed Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-38592-6_17 ◽

2013 ◽

pp. 242-257 ◽

Author(s):

Benoît Delahaye ◽

José Luiz Fiadeiro ◽

Axel Legay ◽

Antónia Lopes

Download Full-text