Search - IFIP Open Digital Library Access content directly

Filter your results

2 results
authFullName_s : Luís Caires
Page :
sorted by

Formal Techniques for Distributed Objects, Components, and Systems

 Christel Baier , Luís Caires
Springer International Publishing, LNCS-10854, 2018, Lecture Notes in Computer Science, 978-3-319-92611-7. ⟨10.1007/978-3-319-92612-4⟩
Books hal-01824818v1
Image document

Multiparty Session Types Within a Canonical Binary Theory, and Beyond

 Luís Caires , Jorge A. Pérez
36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.74-95, ⟨10.1007/978-3-319-39570-8_6⟩
Conference papers hal-01432929v1
Page :