scientific article
From MaRDI portal
Publication:3667927
zbMath0518.68014MaRDI QIDQ3667927
No author found.
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25) Theory of computing (68Q99)
Related Items
Merging regular processes by means of fixed-point theory, About fair asynchrony, An algebraic theory of fair asynchronous communicating processes, Concurrent histories: a basis for observing distributed systems, Partial ordering models for concurrency can be defined operationally, Concurrency and atomicity, A partial ordering semantics for CCS, Weak and strong fairness in CCS, Towards a formal proof system for \(\omega\)-rational expressions
