38 citations · 50 across the 7 of their papers we have counts for
4 papers · 1 filter
Asynchronous Functional Sessions: Cyclic and Concurrent (Extended Version)
Bas van den Heuvel, Jorge A. Pérez
We present Concurrent GV (CGV), a functional calculus with message-passing concurrency governed by session types. With respect to prior calculi, CGV has increased support for concu…
Asynchronous Functional Sessions: Cyclic and Concurrent
Bas van den Heuvel, Jorge A. Pérez
We present Concurrent GV (CGV), a functional calculus with message-passing concurrency governed by session types. With respect to prior calculi, CGV has increased support for concu…
Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols
Alex C. Keizer, Henning Basold, Jorge A. Pérez
Compositional methods are central to the development and verification of software systems. They allow to break down large systems into smaller components, while enabling reasoning…
Session Type Systems based on Linear Logic: Classical versus Intuitionistic
Bas van den Heuvel, Jorge A. Pérez
Session type systems have been given logical foundations via Curry-Howard correspondences based on both intuitionistic and classical linear logic. The type systems derived from the…