scientific article; zbMATH DE number 1863161

zbMath1006.68533MaRDI QIDQ4791832

Giuseppe Castagna, Silvia Crafa, Michele Bugliesi

Publication date: 3 February 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2154/21540102.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (7)

Secure Data Flow in a Calculus for Context Awareness ⋮ Access control in mobile ambient calculi: a comparative view ⋮ Role-based access control for boxed ambients ⋮ A typed encoding of boxed into safe ambients ⋮ An overview of Boxed Ambients ⋮ A Type Inference Algorithm for Secure Ambients ⋮ The seal calculus

This page was built for publication: