scientific article
From MaRDI portal
Publication:2844039
zbMath1270.03035MaRDI QIDQ2844039
Jian Lu, Tingting Han, Taolue Chen
Publication date: 27 August 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105800854
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A calculus of mobile processes. II
- Mobile ambients
- Typing evolving ambients
- Separability in the Ambient Logic
- Algebraic laws for nondeterminism and concurrency
- Controlling interference in ambients
- Anytime, anywhere
- Extensionality and intensionality of the ambient logics
- Bisimulation congruences in safe ambients
This page was built for publication: