The calculus of context-aware ambients

DOI10.1016/J.JCSS.2010.02.003zbMath1227.68078OpenAlexW2045202627MaRDI QIDQ716296

François Siewe, Hussein Zedan, Antonio Cau

Publication date: 28 April 2011

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jcss.2010.02.003

zbMATH Keywords

ambientmobilityprocess calculuscontext-awarenesspervasive

Mathematics Subject Classification ID

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

Related Items (2)

Typed context awareness ambient calculus for pervasive applications ⋮ Modeling of an irrigation system in a virtual physical space

Cites Work

• Unnamed Item
• Unnamed Item
• Modeling adaptive behaviors in Context UNITY
• Testing equivalences for processes
• Mobile ambients
• Pure bigraphs: structure and dynamics
• Secure Data Flow in a Calculus for Context Awareness
• Functions as processes
• Stochastic Bigraphs
• Recent Trends in Algebraic Development Techniques
• Foundations of Software Science and Computation Structures

This page was built for publication: The calculus of context-aware ambients