Publication:2763547
From MaRDI portal
zbMath0983.68074MaRDI QIDQ2763547
Publication date: 16 January 2002
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
68-02: Research exposition (monographs, survey articles) pertaining to computer science
Related Items
A Stable Non-interleaving Early Operational Semantics for the Pi-Calculus, Towards categorical models for fairness: Fully abstract presheaf semantics of SCCS with finite delay, A stable non-interleaving early operational semantics for the pi-calculus