Session coalgebras: a coalgebraic view on session types and communication protocols
From MaRDI portal
Publication:2233467
DOI10.1007/978-3-030-72019-3_14zbMath1473.68114arXiv2011.05712OpenAlexW3151288834MaRDI QIDQ2233467
Henning Basold, Alex C. Keizer, Jorge A. Pérez
Publication date: 18 October 2021
Full work available at URL: https://arxiv.org/abs/2011.05712
Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (2)
The different shades of infinite session types ⋮ Session coalgebras: a coalgebraic view on session types and communication protocols
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A list of successes that can change the world. Essays dedicated to Philip Wadler on the occasion of his 60th birthday
- Fundamentals of session types
- A calculus of mobile processes. I
- The art of modelling computational systems: a journey from logic and concurrency to security and privacy. Essays dedicated to Catuscia Palamidessi on the occasion of her 60th birthday
- Session coalgebras: a coalgebraic view on session types and communication protocols
- Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus
- Subtyping for session types in the pi calculus
- A lattice-theoretical fixpoint theorem and its applications
- Multiparty Session Types Meet Communicating Automata
- Talking bananas: structural recursion for session types
- Context-free session types
- A theory of contracts for web services
- Multiparty asynchronous session types
- Complete Lattices and Up-To Techniques
- Typestate: A programming language concept for enhancing software reliability
- Deadlock and lock freedom in the linear π-calculus
- Polynomial functors and polynomial monads
- Computer Aided Verification
- Behavioral Polymorphism and Parametricity in Session-Based Communication
- Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types
- Using higher-order contracts to model session types
- Global progress for dynamically interleaved multiparty sessions
- A New Type System for Deadlock-Free Processes
This page was built for publication: Session coalgebras: a coalgebraic view on session types and communication protocols