𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Predicate μ-Calculus for Mobile Ambients

✍ Scribed by Hui-Min Lin

Publisher
Springer
Year
2005
Tongue
English
Weight
539 KB
Volume
20
Category
Article
ISSN
1000-9000

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Barbs and Congruences for Safe Mobile Am
Barbs and Congruences for Safe Mobile Ambients
✍ M.G. Vigliotti; I.C.C. Phillips 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 175 KB

The Ambient Calculus offers many ways in which processes can interact and be observed. In the context of Levi and Sangiorgi's Safe Mobile Ambients (SA), the extra co-capabilities required for interaction complicate the fundamental observations. We show that different formulations of barbs lead to th