1. Runtime Verification for Decentralised and Distributed Systems

   Francalanza, A., Pérez, J. A. & Sánchez, C. Feb-2018 Lectures on Runtime Verification. Bartocci, E. & Falcone, Y. (eds.). Springer, p. 176-210 35 p.

   Research output: Chapter in Book/Report/Conference proceeding › Chapter

2. Causally consistent reversible choreographies: A monitors-as-memories approach

   Mezzina, C. A. & Perez , J. A. 2017 Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming (PPDP 2017). ACM Press Digital Library, p. 127-138

   Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

3. Session-Based Concurrency, Reactively

   Cano Grijalba, M., Arias, J. & Perez Parra, J. A. 2017 Proceedings of the 37th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects,Components, and Systems (FORTE 2017): FORTE 2017: Formal Techniques for Distributed Objects, Components, and Systems. Springer Verlag, p. 74-91 18 p. (Lecture Notes in Computer Science ; vol. 10321)

   Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

4. Linearity, Control Effects, and Behavioral Types

   Caires, L. & Perez Parra, J. A. 2017 Programming Languages and Systems. Yang, H. (ed.). Springer, p. 229-259 31 p. ( Lecture Notes in Computer Science ; vol. 10201)

   Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

5. Characteristic bisimulation for higher-order session processes

   Kouzapas, D., Pérez, J. A. & Yoshida, N. May-2017 In : Acta informatica. 54, 3, p. 271-341 69 p.

   Research output: Contribution to journal › Article

View all (51) »

1. VIDI Grant

   Jorge Perez Parra (Recipient), 2018

   Prize: Fellowship awarded competitively

View all (1) »

1. Combined 25th Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics

   Perez Parra, J. (Invited speaker)

   2018

   Activity: Scientific › Organising an event

View all (1) »