An extensional fixed-point semantics for nondeterministic data flow

DOI10.1016/0304-3975(91)90082-DzbMath0753.68042MaRDI QIDQ1183593

Peter Kearney, John Staples

Publication date: 28 June 1992

Published in: Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Related Items (1)

Specification and verification of concurrent systems by causality and realizability

Cites Work

• Programming languages and their definition. Selected papers ed. by C. B. Jones
• A fixpoint semantics for nondeterministic data flow
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An extensional fixed-point semantics for nondeterministic data flow