31 citations · 109 across the 18 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
cs.LO2019
Proceedings Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics
Jorge A. Pérez, Jurriaan Rot
This volume contains the proceedings of EXPRESS/SOS 2019: the Combined 26th International Workshop on Expressiveness in Concurrency and the 16th Workshop on Structural Operational…
cs.LO2019
Domain-Aware Session Types (Extended Version)
Luís Caires, Jorge A. Pérez, Frank Pfenning +1
We develop a generalization of existing Curry-Howard interpretations of (binary) session types by relying on an extension of linear logic with features from hybrid logic, in partic…
cs.LO2019
Minimal Session Types (Extended Version)
Alen Arslanagić, Jorge A. Pérez, Erik Voogd
Session types are a type-based approach to the verification of message-passing programs. They have been much studied as type systems for the pi-calculus and for languages such as J…