Semantic subtyping for the pi-calculus

DOI10.1016/J.TCS.2008.01.049MaRDI QIDQ930882zbMATH OpenOpenAlexFDO

Authors Giuseppe Castagna, Daniele Varacca, 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

typesconcurrencypi-calculussubtypingchannelsBoolean type combinators

Mathematics Subject Classification ID

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

Recommendations

• Subtyping for session types in the pi calculus
• scientific article; zbMATH DE number 954809
• Termination in a \(\pi\)-calculus with subtyping
• Termination in a \(\pi\)-calculus with subtyping
• Typed behavioural equivalences for processes in the presence of subtyping

Cites work

• scientific article; zbMATH DE number 954809 (Why is no real title available?)
• scientific article; zbMATH DE number 1223731 (Why is no real title available?)
• scientific article; zbMATH DE number 1361143 (Why is no real title available?)
• Automata, Languages and Programming
• CDuce: an XML-centric general-purpose language
• Encoding ℂDuce in the ℂπ-Calculus
• Parametric polymorphism for XML
• PiDuce- A project for experimenting web services technologies
• Resource access control in systems of mobile agents
• Semantic subtyping for the pi-calculus
• Theoretical Computer Science
• Types for access control
• XPi: a typed process calculus for XML messaging

Cited in

(18)

• Concurrent objects à la carte
• Typed behavioural equivalences for processes in the presence of subtyping
• Precise subtyping for synchronous multiparty sessions
• Service oriented computing from a process algebraic perspective
• Deriving session and union types for objects
• Termination in a \(\pi\)-calculus with subtyping
• Behavioural equivalences for dynamic web data
• Full abstraction in a subtyped pi-calculus with linear types
• Name-passing calculi: from fusions to preorders and types
• Expressiveness of concurrent intensionality
• PiDuce- A project for experimenting web services technologies
• On projecting processes into session types
• Precise Subtyping for Asynchronous Multiparty Sessions
• Semantic subtyping for the pi-calculus
• Typed behavioural equivalences for processes in the presence of subtyping
• Fair subtyping for multi-party session types
• Comparing communication primitives via their relative expressive power
• Subtyping for session types in the pi calculus

Describes a project that uses

Uses Software

• XPi
• KLAIM
• PiDuce

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q930882)