Publication:3886833
From MaRDI portal
zbMath0443.68005MaRDI QIDQ3886833
Manfred Broy, Martin Wirsing, Peter Pepper, Helmut Partsch
Publication date: 1980
68N01: General topics in the theory of software
Related Items
A theory for nondeterminism, parallelism, communication, and concurrency, Transformational semantics for concurrent programs