The following pages link to Dataflow semantics for Petri nets (Q5096839):
Displaying 9 items.
- Semantics of multiway dataflow constraint systems (Q2043794) (← links)
- Semantic specification and verification of data flow diagrams (Q2277862) (← links)
- (Q3400625) (← links)
- (Q3814772) (← links)
- (Q4251928) (← links)
- (Q4355675) (← links)
- Semantic Foundations for Deterministic Dataflow and Stream Processing (Q5041103) (← links)
- A fully abstract semantics for termination in Petri nets (Q5096896) (← links)
- (Q5486055) (← links)