Publication:2843918
From MaRDI portal
zbMath1270.68211MaRDI QIDQ2843918
Elio Giovannetti, Ivano Salvo, Mariangiola Dezani-Ciancaglini, Mario Coppo
Publication date: 27 August 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104810119
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Typed context awareness ambient calculus for pervasive applications, Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca, Access control in mobile ambient calculi: a comparative view, Role-based access control for boxed ambients, Name-passing in an ambient-like calculus and its proof using spatial logic, Secure Data Flow in a Calculus for Context Awareness