scientific article; zbMATH DE number 1507231

zbMath0960.68123MaRDI QIDQ4503951

Jan A. Bergstra, Alban Ponse

Publication date: 14 September 2000

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

zbMATH Keywords

operational semantics

Mathematics Subject Classification ID

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

Related Items (4)

Belnap's logic and conditional composition ⋮ Bochvar-McCarthy logic and process algebra ⋮ Encoding many-valued logic in $\lambda$-calculus ⋮ Process algebra and conditional composition

This page was built for publication: