Linear dynamic Kahn networks are deterministic

DOI10.1016/S0304-3975(97)00156-4zbMath0902.68069OpenAlexW2020785667MaRDI QIDQ1128478

Shan-Hwei Nienhuys-Cheng, Arie de Bruin

Publication date: 13 August 1998

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

Full work available at URL: https://doi.org/10.1016/s0304-3975(97)00156-4

zbMATH Keywords

operational semanticstransition systemdynamic networksfork-statementKahn's principle

Mathematics Subject Classification ID

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

Related Items

Linear dynamic Kahn networks are deterministic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Nondeterministic data flow programs: How to avoid the merge anomaly
• Linear dynamic Kahn networks are deterministic
• A proof of the Kahn principle for input/output automata
• The denotational semantics of dynamic networks of processes
• A fixpoint semantics for nondeterministic data flow
• Towards a complete hierarchy of compositional dataflow models