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

Comparing type systems for deadlock freedom

Non-Deterministic Functions as Non-Deterministic Processes

On primitives for compensation handling as adaptable processes

Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols

Session-based concurrency, declaratively

Hyperledger Fabric: Evaluating Endorsement Policy Strategies in Supply Chains

Read more

Press/media

Research minute - Young Academy Groningen