The calculus of context-aware ambients

DOI10.1016/J.JCSS.2010.02.003MaRDI QIDQ716296zbMATH OpenOpenAlexFDO

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 -calculus: A theory of mobile processes

Cited in

(7)

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

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)