A denotational semantics for shared-memory parallelism and nondeterminism

DOI10.1007/BF00289713zbMath0537.68030MaRDI QIDQ792754

Daniel M. Berry

Publication date: 1985

Published in: Acta Informatica (Search for Journal in Brave)

zbMATH Keywords

nondeterministic control treesVienna Definition Language control tree

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Uses Software

• ALGOL 68

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A linear-history semantics for languages for distributed programming
• Semantics of nondeterminism, concurrency, and communication
• Power domains
• The denotational semantics of programming languages
• A Powerdomain Construction
• Processes and the denotational semantics of concurrency
• Proving algorithms by tail functions

This page was built for publication: A denotational semantics for shared-memory parallelism and nondeterminism