scientific article
From MaRDI portal
Publication:3664405
zbMath0516.68011MaRDI QIDQ3664405
No author found.
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
integrated circuitsconcurrent programsVLSIsemanticstrace theorycircuit designconcurrent computationscorrectness, verification
Circuits, networks (94C99) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)
Related Items (4)
Global renaming operators in concrete process algebra ⋮ Notes on the methodology of CCS and CSP ⋮ A brief history of process algebra ⋮ On the suitability of trace semantics for modular proofs of communicating processes
This page was built for publication: