Typed context awareness ambient calculus for pervasive applications

DOI10.1007/S00165-015-0339-XMaRDI QIDQ903500zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 1950451 (Why is no real title available?)
• scientific article; zbMATH DE number 2087553 (Why is no real title available?)
• scientific article; zbMATH DE number 819768 (Why is no real title available?)
• A calculus of mobile processes. I
• Access control in mobile ambient calculi: a comparative view
• Extensionality and intensionality of the ambient logics
• Logic in Computer Science
• M\(^3\): mobility types for mobile processes in mobile ambients
• Mobile ambients
• Programming Languages and Systems
• The \(\pi\)-calculus: A theory of mobile processes
• The calculus of context-aware ambients
• Types and programing languages

Cited in

(1)

• The calculus of context-aware ambients

Describes a project that uses

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)