scientific article
From MaRDI portal
Publication:2852065
zbMath1273.68251MaRDI QIDQ2852065
Catuscia Palamidessi, D. Cacciagrano, Flavio Corradini
Publication date: 7 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106003719
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (9)
Theory of interaction ⋮ Tutorial on separation results in process calculi via leader election problems ⋮ Separation of synchronous and asynchronous communication via testing ⋮ Pict Correctness Revisited ⋮ Pict correctness revisited ⋮ Comparing communication primitives via their relative expressive power ⋮ Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus ⋮ Fair Π ⋮ Expressiveness of Process Algebras
This page was built for publication:
