scientific article
From MaRDI portal
Publication:2847404
zbMath1271.68190MaRDI QIDQ2847404
Publication date: 9 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104050303
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (5)
On Recursion, Replication and Scope Mechanisms in Process Calculi ⋮ On the computational strength of pure ambient calculi ⋮ When ambients cannot be opened ⋮ Name-passing in an ambient-like calculus and its proof using spatial logic ⋮ Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus
This page was built for publication:
