scientific article
From MaRDI portal
Publication:2843918
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
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (6)
Secure Data Flow in a Calculus for Context Awareness ⋮ 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
This page was built for publication:
