dr. J.A. (Jorge) Perez Parra

Research

Postal address:
Nijenborgh
9
Gebouw 5161, ruimte 0376
Groningen
Netherlands
Phone: +31 50 363 3971
Publications
  1. 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: Scientific - peer-reviewConference contribution

  2. 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: Scientific - peer-reviewConference contribution

  3. 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: Scientific - peer-reviewConference contribution

  4. 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: Scientific - peer-reviewArticle

  5. Reversibility in session-based concurrency: A fresh look

    Mezzina, C. A. & Pérez, J. A. Aug-2017 In : The Journal of Logical and Algebraic Methods in Programming. 90, p. 2-30 29 p.

    Research output: Scientific - peer-reviewArticle

View all (50) »

View graph of relations

ID: 10336811