scientific article; zbMATH DE number 2038740

zbMath1039.68085MaRDI QIDQ4449205

F. Zappa Nardelli, Massimo Merro

Publication date: 8 February 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2719/27190584.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 (10)

Coalgebraic Symbolic Semantics ⋮ Towards a behavioural theory of access and mobility control in distributed systems ⋮ Fair ambients ⋮ Using bisimulation proof techniques for the analysis of distributed abstract machines ⋮ Pure bigraphs: structure and dynamics ⋮ Name-passing in an ambient-like calculus and its proof using spatial logic ⋮ 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

This page was built for publication: