Behavioral Polymorphism and Parametricity in Session-Based Communication

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

Mathematics Subject Classification ID

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