Typed context awareness ambient calculus for pervasive applications

DOI10.1007/S00165-015-0339-XzbMATH Open1347.68271OpenAlexW956012896MaRDI QIDQ903500FDOQ903500

Authors: Douglas Pereira Pasqualin, Juliana Kaizer Vizzotto, Eduardo Kessler Piveta 

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

Recommendations

• The calculus of context-aware ambients
• Programming Languages and Systems
• scientific article; zbMATH DE number 1928248
• Types for the ambient calculus
• Secure Data Flow in a Calculus for Context Awareness

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)

Cites Work

• Title not available (Why is that?)
• Logic in Computer Science
• A calculus of mobile processes. I
• The \(\pi\)-calculus: A theory of mobile processes
• Types and programing languages
• Mobile ambients
• Title not available (Why is that?)
• Title not available (Why is that?)
• The calculus of context-aware ambients
• Extensionality and intensionality of the ambient logics
• M\(^3\): mobility types for mobile processes in mobile ambients
• Title not available (Why is that?)
• Programming Languages and Systems
• Access control in mobile ambient calculi: a comparative view

Cited In (1)

• The calculus of context-aware ambients

Uses Software

• Nuprl

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

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