A chart semantics for the pi-calculus

DOI10.1016/J.ENTCS.2007.11.002MaRDI QIDQ2864369zbMATH OpenOpenAlexFDO

Authors Johannes Borgström, Andrew D. Gordon, Andrew Phillips

Publication date 6 December 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2007.11.002

zbMATH Keywords

causalitymessage sequence chartspi-calculus

Mathematics Subject Classification ID

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

Recommendations

• Graph rewriting for the π-calculus
• A fully abstract semantics for causality in the π-calculus
• A fully abstract semantics for causality in the \(\pi\)-calculus
• Causality for mobile processes
• Term graph rewriting for the \(\pi \)-calculus.

Cites work

• A fully abstract may testing semantics for concurrent objects
• A fully abstract semantics for causality in the \(\pi\)-calculus
• An open graph visualization system and its applications to software engineering
• Concurrency and atomicity
• Correspondence assertions for process synchronization in concurrent communications
• Event Structure Semantics for Nominal Calculi
• Formal Methods for Components and Objects
• scientific article; zbMATH DE number 4074504 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 1863157 (Why is no real title available?)
• scientific article; zbMATH DE number 2242580 (Why is no real title available?)
• Modeling concurrency with partial orders
• Non-interleaving semantics for mobile processes
• Process algebras with localities.
• Programming Languages and Systems
• Secrecy and group creation
• Security protocols and their properties
• Term graph rewriting for the \(\pi \)-calculus.
• The -calculus: A theory of mobile processes
• The box algebra = Petri nets + process expressions
• The unified modeling language
• Time, clocks, and the ordering of events in a distributed system
• Trace and testing equivalence on asynchronous processes
• Typed event structures and the \(\pi\)-calculus (extended abstract)
• Typing correspondence assertions for communication protocols

Describes a project that uses

Uses Software

• TulaFale

This page was built for publication: A chart semantics for the pi-calculus

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