Non-interleaving semantics for mobile processes

DOI10.1016/S0304-3975(99)80003-6zbMath0914.68128MaRDI QIDQ1285660

Pierpaolo Degano, Corrado Priami

Publication date: 28 April 1999

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

zbMATH Keywords

operational semanticsmobile computingtrue concurrency

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (24)

Reversibility in the higher-order \(\pi\)-calculus ⋮ An analysis for causal properties of membrane interactions ⋮ Modelling biochemical pathways through enhanced \(\pi\)-calculus ⋮ Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC ⋮ Static Evidences for Attack Reconstruction ⋮ Models for name-passing processes: Interleaving and causal ⋮ A stable non-interleaving early operational semantics for the pi-calculus ⋮ Event structure semantics for multiparty sessions ⋮ Replications in reversible concurrent calculi ⋮ The correctness of concurrencies in (reversible) concurrent calculi ⋮ Synchrony versus causality in distributed systems ⋮ Unnamed Item ⋮ A parametric framework for reversible \(\pi\)-calculi ⋮ Measuring security in IoT communications ⋮ Typed event structures and the linear \(\pi \)-calculus ⋮ Proof-relevant π-calculus: a constructive account of concurrency and causality ⋮ Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS ⋮ Pierpaolo Degano ⋮ Concurrencies in reversible concurrent calculi ⋮ Language-based performance prediction for distributed and mobile systems ⋮ A Chart Semantics for the Pi-Calculus ⋮ Causal static analysis for brane calculi ⋮ Primitives for authentication in process algebras. ⋮ A causal semantics for CCS via rewriting logic

Uses Software

• Facile

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Locality and interleaving semantics in calculi for mobile processes
• Modal logics for mobile processes
• Observing localities
• A partial ordering semantics for CCS
• Modeling concurrency with partial orders
• Petri nets, algebras, morphisms, and compositionality
• A distributed operational semantics of CCS based on condition/event systems
• A fully abstract semantics for causality in the \(\pi\)-calculus
• A calculus of mobile processes. II
• Plain CHOCS. A second generation calculus for higher order processes
• Comparing locality and causality based equivalences
• Asynchronous process calculi: The first- and higher-order paradigms
• Causality and true concurrency: A data-flow analysis of the Pi-Calculus
• Read-write causality
• Proved trees
• A calculus of mobile agents

This page was built for publication: Non-interleaving semantics for mobile processes