Behavioral equivalence in the polymorphic pi-calculus
From MaRDI portal
Publication:5487879
DOI10.1145/337244.337261zbMath1094.68591OpenAlexW2011491369MaRDI QIDQ5487879
Davide Sangiorgi, Benjamin C. Pierce
Publication date: 12 September 2006
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://repository.upenn.edu/cis_reports/95
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (25)
A generic type system for the pi-calculus ⋮ Extending modal transition systems with structured labels ⋮ Types and full abstraction for polyadic \(\pi\)-calculus ⋮ The name discipline of uniform receptiveness (extended abstract) ⋮ On confluence in the π-calculus ⋮ The name discipline of uniform receptiveness ⋮ Bounded polymorphism in session types ⋮ Linear logical relations and observational equivalences for session-based concurrency ⋮ Security types for dynamic web data ⋮ Behavioural equivalences for dynamic web data ⋮ Full abstraction for polymorphic \(\pi \)-calculus ⋮ Encoding Distributed Areas and Local Communication into the π-Calculus ⋮ An exact correspondence between a typed pi-calculus and polarised proof-nets ⋮ The security pi-calculus and non-interference ⋮ A type system for lock-free processes ⋮ Bisimulation and coinduction enhancements: a historical perspective ⋮ On Hierarchical Communication Topologies in the $$\pi $$ -calculus ⋮ Types for ambient and process mobility ⋮ A Complete Characterization of Observational Equivalence in Polymorphic λ-Calculus with General References ⋮ Typed behavioural equivalences for processes in the presence of subtyping ⋮ Genericity and the \(\pi\)-calculus ⋮ Subtyping for session types in the pi calculus ⋮ Assigning types to processes ⋮ safeDpi: a language for controlling mobile code ⋮ Propositions as sessions
Uses Software
This page was built for publication: Behavioral equivalence in the polymorphic pi-calculus
