scientific article; zbMATH DE number 1555188

zbMath0953.03523MaRDI QIDQ4525288

Arthur J. Milner

Publication date: 22 January 2001

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Combinatory logic and lambda calculus (03B40)

Related Items

The \(C_\pi\)-calculus: a model for confidential name passing ⋮ A categorical framework for typing CCS-style process communication ⋮ Comparing logics for rewriting: Rewriting logic, action calculi and tile logic