Skip to ContentSkip to Navigation
How to find us prof. dr. J.A. (Jorge) Perez Parra

Research interests

Rigorous programming models for concurrent and message-passing computation.

Publications

On the relative expressiveness of higher-order session processes

Domain-Aware Session Types

Minimal Session Types

Runtime Verification for Decentralised and Distributed Systems

Hyperledger Fabric: Evaluating Endorsement Policy Strategies in Supply Chains

Preface to Special Issue: EXPRESS/SOS 2018

Session Type Systems based on Linear Logic: Classical versus Intuitionistic

Formal Techniques for Distributed Objects, Components, and Systems - 39th IFIP WG 6.1 International Conference, FORTE 2019, Proceedings

Preface to special issue: ICTAC 2015

Proceedings Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics, EXPRESS/SOS 2019, Amsterdam, The Netherlands, 26th August 2019

Read more

Press/media

Research minute - Young Academy Groningen