scientific article; zbMATH DE number 1759623

zbMath0999.68148MaRDI QIDQ4536614

Andrew D. Gordon, Luca Cardelli, Giorgio Ghelli

Publication date: 25 June 2002

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

Secrecy types for asymmetric communication. ⋮ Encoding Distributed Areas and Local Communication into the π-Calculus ⋮ A static analysis of cryptographic processes: the denotational approach ⋮ Secrecy and group creation ⋮ Abstract interpretation of mobile systems ⋮ Types for the ambient calculus ⋮ Automatic Verification of Security Protocols in the Symbolic Model: The Verifier ProVerif ⋮ Type-based information flow analysis for the \(\pi\)-calculus

This page was built for publication: