The following pages link to (Q3814772):
Displaying 4 items.
- Intensional and extensional semantics of dataflow programs (Q706490) (← links)
- On schematological equivalence of partially interpreted dataflow networks (Q1373139) (← links)
- Algebra and theory of order-deterministic pomsets (Q1815430) (← links)
- A proof of the Kahn principle for input/output automata (Q1822994) (← links)