The calculus of context-aware ambients

DOI10.1016/J.JCSS.2010.02.003MaRDI QIDQ716296zbMATHOpenAlexFDO

Authors 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

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

Recommendations

• Typed context awareness ambient calculus for pervasive applications
• Coordination Models and Languages
• Fundamental Approaches to Software Engineering
• The calculus of context relations
• Recent Trends in Algebraic Development Techniques

Cites work

• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• Foundations of Software Science and Computation Structures
• Functions as processes
• Mobile ambients
• Modeling adaptive behaviors in Context UNITY
• Pure bigraphs: structure and dynamics
• Recent Trends in Algebraic Development Techniques
• Secure Data Flow in a Calculus for Context Awareness
• Stochastic bigraphs
• Testing equivalences for processes
• The \(\pi\)-calculus: A theory of mobile processes

Cited in

(6)

• Modeling of an irrigation system in a virtual physical space
• Coordination Models and Languages
• Secure Data Flow in a Calculus for Context Awareness
• Recent Trends in Algebraic Development Techniques
• Process calculi for modelling mobile, service-oriented, and collective autonomic systems
• Typed context awareness ambient calculus for pervasive applications

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

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