A systematic approach to language constructs for concurrent programs

DOI10.1016/0167-6423(84)90016-9zbMath0536.68013OpenAlexW2009935272MaRDI QIDQ792081

Manfred Broy, Friedrich L. Bauer

Publication date: 1984

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(84)90016-9

zbMATH Keywords

verificationspecificationfunctional and applicative programming

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items

A theory for nondeterminism, parallelism, communication, and concurrency, Stability, sequentiality and demand driven evaluation in dataflow