1. Efficient compensation handling via subjective updates

   Dedeić, J., Pantović, J. & Pérez, J. A., 3-Apr-2017, 32nd Annual ACM Symposium on Applied Computing, SAC 2017. Association for Computing Machinery, p. 51-58 8 p. (Proceedings of the ACM Symposium on Applied Computing; vol. Part F128005).

   Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

2. On the relative expressiveness of higher-order session processes

   Kouzapas, D., Perez, J. A. & Yoshida, N., Oct-2019, In : Information and Computation. 268, 54 p., 104433.

   Research output: Contribution to journal › Article › Academic › peer-review

3. Domain-Aware Session Types

   Caires, L., Pérez, J. A., Pfenning, F. & Toninho, B., 2019, 30th International Conference on Concurrency Theory (CONCUR 2019). Fokkink, W. & Glabbeek, R. V. (eds.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, p. 35:1-35:17 17 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 140).

   Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

4. Minimal Session Types

   Arslanagic, A., Pérez, J. A. & Voogd, E., 2019, 33rd European Conference on Object-Oriented Programming (ECOOP 2019). Donaldson, A. F. (ed.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 50 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 134).

   Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

5. Preface to special issue: ICTAC 2015

   Leucker, M., Perez, J. A., Rueda, C. & Valencia, F. D., Jan-2019, In : Mathematical structures in computer science. 29, 1, p. 1-2 2 p.

   Research output: Contribution to journal › Editorial › Academic

View all (59) »

1. NWO VIDI: Unifying Correctness for Communicating Software

   Jorge Perez Parra (Recipient), Jun-2018

   Prize: Fellowship awarded competitively › Academic

View all (1) »

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

   Jorge Perez Parra (Chair/vice-chair of scientific committee)

   2018

   Activity: Participating in or organising an event › Organising an event › Academic

View all (1) »