Search - IFIP Open Digital Library Access content directly

Filter your results

4 results
Author: personID (integer) : 998096
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

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