scientific article; zbMATH DE number 2163043

zbMath1090.68074MaRDI QIDQ4673430

Glynn Winskel, F. Zappa Nardelli

Publication date: 29 April 2005

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

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14)

Related Items (3)

Elements of a theory of algebraic theories ⋮ New-HOPLA ⋮ Nominal Domain Theory for Concurrency

Uses Software

• Unnamed Item

This page was built for publication: