scientific article; zbMATH DE number 1954375

zbMath1027.68088MaRDI QIDQ4415246

Giuseppe Castagna, F. Zappa Nardelli

Publication date: 28 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2556/25560085.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Towards a behavioural theory of access and mobility control in distributed systems, Using bisimulation proof techniques for the analysis of distributed abstract machines, A CPS encoding of name-passing in higher-order mobile embedded resources, Locating reaction with 2-categories, On Bisimulation Proofs for the Analysis of Distributed Abstract Machines, Mobility control via passports, The seal calculus, Communication and mobility control in boxed ambients, On an open problem of Amadio and Curien: The finite antichain condition, safeDpi: a language for controlling mobile code