An extensional fixed-point semantics for nondeterministic data flow
From MaRDI portal
Publication:1183593
DOI10.1016/0304-3975(91)90082-DzbMath0753.68042MaRDI QIDQ1183593
Publication date: 28 June 1992
Published in: Theoretical Computer Science (Search for Journal in Brave)
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
Cites Work