Analysing input/output-capabilities of mobile processes with a generic type system

DOI10.1016/j.jlap.2004.01.004zbMath1066.68089OpenAlexW2021288161MaRDI QIDQ1772312

Barbara König

Publication date: 18 April 2005

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2004.01.004

zbMATH Keywords

\(\pi\)-calculusType systemsLattice-ordered monoids

Mathematics Subject Classification ID

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

Related Items (3)

Binary Session Types for Psi-Calculi ⋮ Unnamed Item ⋮ A general framework for types in graph rewriting

Cites Work

• The chemical abstract machine
• A calculus of mobile processes. II
• Type reconstruction for linear \(\pi\)-calculus with I/O subtyping.
• Assigning types to processes
• A type system for lock-free processes
• Secrecy by typing in security protocols
• A generic type system for the Pi-calculus
• Distributed processes and location failures
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Analysing input/output-capabilities of mobile processes with a generic type system