Responsiveness in process calculi

DOI10.1016/j.tcs.2008.08.017zbMath1157.68050OpenAlexW1992832386MaRDI QIDQ959822

Michele Boreale, Lucia Acciai

Publication date: 12 December 2008

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

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

zbMATH Keywords

linearitytype systemspi-calculusresponsivenessreceptiveness

Mathematics Subject Classification ID

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

Related Items (4)

Spatial and behavioral types in the pi-calculus ⋮ Trace- and failure-based semantics for responsiveness ⋮ Responsiveness in process calculi ⋮ CaSPiS: a calculus of sessions, pipelines and services

Uses Software

• TyPiCal

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Strong normalisation in the \(\pi\)-calculus
• Responsiveness in process calculi
• On the expressiveness of internal mobility in name-passing calculi
• The name discipline of uniform receptiveness
• A type system for lock-free processes
• Type-based information flow analysis for the \(\pi\)-calculus
• On asynchrony in name-passing calculi
• A New Type System for Deadlock-Free Processes

This page was built for publication: Responsiveness in process calculi