Semantic subtyping for the pi-calculus

DOI10.1016/j.tcs.2008.01.049zbMath1146.68052OpenAlexW1979473344MaRDI QIDQ930882

Daniele Varacca, Giuseppe Castagna, Rocco De Nicola

Publication date: 24 June 2008

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2008.01.049

zbMATH Keywords

typesconcurrencysubtypingpi-calculuschannelsBoolean type combinators

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (14)

On projecting processes into session types ⋮ Precise Subtyping for Asynchronous Multiparty Sessions ⋮ PiDuce- A project for experimenting web services technologies ⋮ Name-passing calculi: from fusions to preorders and types ⋮ Service oriented computing from a process algebraic perspective ⋮ Precise subtyping for synchronous multiparty sessions ⋮ Expressiveness of concurrent intensionality ⋮ Semantic subtyping for the pi-calculus ⋮ Deriving session and union types for objects ⋮ Behavioural equivalences for dynamic web data ⋮ Fair subtyping for multi-party session types ⋮ Concurrent Objects à la Carte ⋮ Comparing communication primitives via their relative expressive power ⋮ Full Abstraction in a Subtyped pi-Calculus with Linear Types

Uses Software

• PiDuce
• KLAIM
• XPi

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• PiDuce- A project for experimenting web services technologies
• XPi: a typed process calculus for XML messaging
• Semantic subtyping for the pi-calculus
• Types for access control
• Resource access control in systems of mobile agents
• CDuce
• Parametric polymorphism for XML
• Theoretical Computer Science
• Automata, Languages and Programming
• Encoding ℂDuce in the ℂπ-Calculus

This page was built for publication: Semantic subtyping for the pi-calculus