Publication:2851333
From MaRDI portal
zbMath1273.68265MaRDI QIDQ2851333
Daniele Varacca, Nobuko Yoshida
Publication date: 10 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106001733
68Q55: Semantics in the theory of computing
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Typed event structures and the linear \(\pi \)-calculus, A Nice labelling for tree-like event structures of degree 3, A Chart Semantics for the Pi-Calculus, A Graph Abstract Machine Describing Event Structure Composition, Probabilistic π-Calculus and Event Structures, Partial Orders, Event Structures and Linear Strategies