Typed event structures and the -calculus (extended abstract)

zbMATH Open1273.68265MaRDI QIDQ2851333FDOQ2851333

Authors: Daniele Varacca, Nobuko Yoshida 

Publication date: 10 October 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106001733

Recommendations

• Typed event structures and the linear \(\pi \)-calculus
• Probabilistic \(\pi\)-calculus and event structures
• scientific article; zbMATH DE number 2118223
• Compositional Event Structure Semantics for the Internal π-Calculus
• Event structure semantics of parallel extrusion in the pi-calculus

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (7)

• A typed language for events
• Typed event structures and the linear \(\pi \)-calculus
• Probabilistic \(\pi\)-calculus and event structures
• A graph abstract machine describing event structure composition
• A Nice labelling for tree-like event structures of degree 3
• A chart semantics for the pi-calculus
• Partial Orders, Event Structures and Linear Strategies

This page was built for publication: Typed event structures and the \(\pi\)-calculus (extended abstract)

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