Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

4 results
hal_authIdPerson_i : 998096
Page :
sorted by

Formal Techniques for Distributed Objects, Components, and Systems

 Jorge Pérez , Nobuko Yoshida
Springer International Publishing, LNCS-11535, 2019, Lecture Notes in Computer Science, 978-3-030-21758-7. ⟨10.1007/978-3-030-21759-4⟩
Books hal-02313743v1
Image document

The Challenge of Typed Expressiveness in Concurrency

 Jorge A. Pérez
36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.239-247, ⟨10.1007/978-3-319-39570-8_16⟩
Conference papers hal-01432921v1
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
Image document

Relating Process Languages for Security and Communication Correctness (Extended Abstract)

 Daniele Nantes , Jorge A. Pérez
38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. pp.79-100, ⟨10.1007/978-3-319-92612-4_5⟩
Conference papers hal-01824820v1
Page :