scientific article; zbMATH DE number 2038740

zbMATH Open1039.68085MaRDI QIDQ4449205FDOQ4449205

Authors: Massimo Merro, Francesco Zappa Nardelli 

Publication date: 8 February 2004

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

Title of this publication is not available (Why is that?)

Recommendations

• On the proof method for bisimulation
• scientific article; zbMATH DE number 1361141
• On the bisimulation proof method
• scientific article; zbMATH DE number 1841829
• Enhancements of the bisimulation proof method
• scientific article; zbMATH DE number 4022620
• Bisimulation congruences in safe ambients
• scientific article; zbMATH DE number 2219130
• scientific article; zbMATH DE number 1701350

Mathematics Subject Classification ID

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

Cited In (17)

• Equational properties of mobile ambients
• Towards a behavioural theory of access and mobility control in distributed systems
• The seal calculus
• Communication and mobility control in boxed ambients
• safeDpi: a language for controlling mobile code
• Title not available (Why is that?)
• Pure bigraphs: structure and dynamics
• On an open problem of Amadio and Curien: The finite antichain condition
• Title not available (Why is that?)
• On Bisimulation Proofs for the Analysis of Distributed Abstract Machines
• Bisimulation congruences in safe ambients
• Name-passing in an ambient-like calculus and its proof using spatial logic
• Fair ambients
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Reactive Systems, Barbed Semantics, and the Mobile Ambients
• Using bisimulation proof techniques for the analysis of distributed abstract machines
• Coalgebraic symbolic semantics

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4449205)