In Scott-Strachey style denotational semantics, parallelism implies nondeterminism

DOI10.1007/BF01786983zbMath0512.68009MaRDI QIDQ3657406

David B. Benson

Publication date: 1982

Published in: Mathematical Systems Theory (Search for Journal in Brave)

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Semantics of nondeterminism, concurrency, and communication
• Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. I
• Power domains
• First-order dynamic logic
• Data Types as Lattices
• A Powerdomain Construction
• Concurrent Processes and Their Syntax
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: In Scott-Strachey style denotational semantics, parallelism implies nondeterminism