scientific article; zbMATH DE number 2219130

MaRDI QIDQ5697792zbMATH OpenFDO

Authors Taolue Chen, Bin Li, Tingting Han, Jian Lu

Publication date 27 October 2005

zbMATH Keywords

labelled transition systemmobile ambient

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2038740
• Intensionality of modal logic for robust ambient calculus
• Equational properties of mobile ambients
• Behavioral theory for mobile ambients
• Deriving structural labelled transitions for mobile ambients

Cited in

(11)

• Congruent weak bisimulation with dense real-time
• scientific article; zbMATH DE number 1696431 (Why is no real title available?)
• Intensionality of modal logic for robust ambient calculus
• Deriving Bisimulation Congruences for Conditional Reactive Systems
• Bisimulation Congruences in the Calculus of Looping Sequences
• scientific article; zbMATH DE number 2038740 (Why is no real title available?)
• scientific article; zbMATH DE number 2163045 (Why is no real title available?)
• Equational properties of mobile ambients
• scientific article; zbMATH DE number 7301461 (Why is no real title available?)
• Bisimulation congruences in safe ambients
• A coalgebraic approach to the semantics of the ambient calculus

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 Q5697792)