Behavioral Polymorphism and Parametricity in Session-Based Communication
From MaRDI portal
Publication:5326294
DOI10.1007/978-3-642-37036-6_19zbMath1381.68197OpenAlexW1509279433WikidataQ57652391 ScholiaQ57652391MaRDI QIDQ5326294
Bernardo Toninho, Jorge A. Pérez, Luís Caires, Frank Pfenning
Publication date: 5 August 2013
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-37036-6_19
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (15)
Multiparty session types as coherence proofs ⋮ Session types revisited ⋮ Unnamed Item ⋮ Unnamed Item ⋮ On session types and polynomial time ⋮ Linearity, Control Effects, and Behavioral Types ⋮ A Higher-Order Logic for Concurrent Termination-Preserving Refinement ⋮ Linear logical relations and observational equivalences for session-based concurrency ⋮ Nested session types ⋮ Session coalgebras: a coalgebraic view on session types and communication protocols ⋮ An extensible approach to session polymorphism ⋮ Corecursion and Non-divergence in Session-Typed Processes ⋮ Session Types with Arithmetic Refinements ⋮ Multiparty Session Types Within a Canonical Binary Theory, and Beyond ⋮ Polymorphic lambda calculus with context-free session types
This page was built for publication: Behavioral Polymorphism and Parametricity in Session-Based Communication