scientific article

zbMath0517.68027MaRDI QIDQ3666248

Rocco De Nicola

Publication date: 1983

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

zbMATH Keywords

CSPdenotational semantics

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Related Items

Notes on the methodology of CCS and CSP ⋮ Specification-oriented semantics for communicating processes