Contact information

Nijenborgh9
9747 AG
Groningen
Netherlands
  • Phone: +31 50 363 3939
Publications
  1. 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 journalArticleAcademicpeer-review

  2. Session-based concurrency: between operational and declarative views

    Cano Grijalba, M., 2020, [Groningen]: University of Groningen. 400 p.

    Research output: ThesisThesis fully internal (DIV)Academic

  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 proceedingConference contributionAcademicpeer-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 proceedingConference contributionAcademicpeer-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 journalEditorialAcademic

View all (207) »

Prizes
  1. NWO VIDI: Unifying Correctness for Communicating Software

    Jorge Perez Parra (Recipient), Jun-2018

    Prize: Fellowship awarded competitivelyAcademic

View all (1) »

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

    Jorge Perez Parra (Invited speaker)
    2018

    Activity: Participating in or organising an eventOrganising an eventAcademic

View all (1) »

View graph of relations

ID: 32126