Typed context awareness ambient calculus for pervasive applications

DOI10.1007/S00165-015-0339-XzbMath1347.68271OpenAlexW956012896MaRDI QIDQ903500

Douglas Pereira Pasqualin, Eduardo Kessler Piveta, Juliana Kaizer Vizzotto

Publication date: 6 January 2016

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-015-0339-x

zbMATH Keywords

type systemspervasive computingambient calculuscontext awareness

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Uses Software

• Nuprl

Cites Work

• The calculus of context-aware ambients
• Access control in mobile ambient calculi: a comparative view
• A calculus of mobile processes. I
• Mobile ambients
• Logic in Computer Science
• Extensionality and intensionality of the ambient logics
• Programming Languages and Systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Typed context awareness ambient calculus for pervasive applications