The calculus of context-aware ambients

DOI10.1016/J.JCSS.2010.02.003zbMATH Open1227.68078OpenAlexW2045202627MaRDI QIDQ716296FDOQ716296

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

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

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)

Cites Work

• Functions as processes
• Title not available (Why is that?)
• Testing equivalences for processes
• The \(\pi\)-calculus: A theory of mobile processes
• Mobile ambients
• Pure bigraphs: structure and dynamics
• Stochastic Bigraphs
• Secure Data Flow in a Calculus for Context Awareness
• Recent Trends in Algebraic Development Techniques
• Foundations of Software Science and Computation Structures
• Modeling adaptive behaviors in Context UNITY

Cited In (5)

• Coordination Models and Languages
• Typed context awareness ambient calculus for pervasive applications
• Modeling of an irrigation system in a virtual physical space
• 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)