Pages that link to "Item:Q1822994"
From MaRDI portal
The following pages link to A proof of the Kahn principle for input/output automata (Q1822994):
Displayed 12 items.
- Equational reasoning about nondeterministic processes (Q911801) (← links)
- Linear dynamic Kahn networks are deterministic (Q1128478) (← links)
- The expressive power of indeterminate dataflow primitives (Q1201292) (← links)
- Liveness in timed and untimed systems (Q1271471) (← links)
- Nonexpressibility of fairness and signaling (Q1309386) (← links)
- Historical introduction to ``Concrete domains'' by G. Kahn and G. D. Plotkin (Q1314353) (← links)
- Stability, sequentiality and demand driven evaluation in dataflow (Q1346605) (← links)
- On schematological equivalence of partially interpreted dataflow networks (Q1373139) (← links)
- Algebraic specification of reactive systems (Q1575270) (← links)
- Refinement of time (Q1589580) (← links)
- Trace and testing equivalence on asynchronous processes (Q1854499) (← links)
- Concurrency in synchronous systems (Q2505637) (← links)