Pages that link to "Item:Q1095640"
From MaRDI portal
The following pages link to Nondeterministic data flow programs: How to avoid the merge anomaly (Q1095640):
Displayed 11 items.
- Automated analysis of fault-tolerance in distributed systems (Q816197) (← links)
- A functional programming approach to the specification and verification of concurrent systems (Q909439) (← links)
- An operator net model for distributed systems (Q1123601) (← links)
- Linear dynamic Kahn networks are deterministic (Q1128478) (← links)
- A fully abstract trace model for dataflow and asynchronous networks (Q1333374) (← links)
- A compositional dataflow semantics for Petri nets (Q1902302) (← links)
- Network algebra for asynchronous dataflow<sup>∗</sup> (Q4375420) (← links)
- Towards a complete hierarchy of compositional dataflow models (Q5096218) (← links)
- Compositional relational semantics for indeterminate dataflow networks (Q5096251) (← links)
- Dataflow semantics for Petri nets (Q5096839) (← links)
- The algebra of stream processing functions (Q5941194) (← links)