Search - IFIP Open Digital Library Access content directly

Filter your results

2 Results
hal_authIdPerson_i : 1007072
Image document

A Timed Component Algebra for Services

Benoît Delahaye , José Luiz Fiadeiro , Axel Legay , Antónia Lopes
15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.242-257, ⟨10.1007/978-3-642-38592-6_17⟩
Conference papers hal-01515250v1

Recent Trends in Algebraic Development Techniques

José Fiadeiro , Ionuț Țuțu
Springer International Publishing, LNCS-11563, 2019, Lecture Notes in Computer Science, 978-3-030-23219-1. ⟨10.1007/978-3-030-23220-7⟩
Books hal-02364573v1