scientific article
From MaRDI portal
Publication:3886833
zbMath0443.68005MaRDI QIDQ3886833
Peter Pepper, Manfred Broy, Martin Wirsing, Helmut Partsch
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
A theory for nondeterminism, parallelism, communication, and concurrency ⋮ Transformational semantics for concurrent programs
This page was built for publication:
