scientific article; zbMATH DE number 1954376

zbMath1027.68089MaRDI QIDQ4415247

Glynn Winskel, Federico Crazzolara

Publication date: 28 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2556/25560097.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 (6)

On the semantics of Alice \& Bob specifications of security protocols ⋮ Strand spaces with choice via a process algebra semantics ⋮ A formal semantics for protocol narrations ⋮ Adding Branching to the Strand Space Model ⋮ Distributed temporal logic for the analysis of security protocol models ⋮ Event Structures with Symmetry

This page was built for publication: