Pages that link to "Item:Q5941194"
From MaRDI portal
The following pages link to The algebra of stream processing functions (Q5941194):
Displaying 15 items.
- Modeling of complex systems. II: A minimalist and unified semantics for heterogeneous integrated systems (Q440664) (← links)
- The mechanical generation of fault trees for reactive systems via retrenchment. II. Clocked and feedback circuits (Q470020) (← links)
- Imperative abstractions for functional actions (Q604455) (← links)
- CPO semantics of timed interactive actor networks (Q959824) (← links)
- A domain-specific language for cryptographic protocols based on streams (Q1001891) (← links)
- An extensional fixed-point semantics for nondeterministic data flow (Q1183593) (← links)
- Algebraic specification of reactive systems (Q1575270) (← links)
- Toward an algebraic theory of systems (Q1786609) (← links)
- Asynchronous stream processing with S-Net (Q2269910) (← links)
- A formally grounded software specification method (Q2369031) (← links)
- A formal framework for interactive agents (Q2864512) (← links)
- Algorithmic Properties of Millstream Systems (Q3584881) (← links)
- A many sorted algebra based signal processing data flow language (Q3789472) (← links)
- Reaction and control I. Mixing additive and multiplicative network algebras (Q4383706) (← links)
- Monoidal streams for dataflow programming (Q6649486) (← links)