scientific article; zbMATH DE number 3493844
From MaRDI portal
Publication:4076730
Cited in
(17)- Specification and top-down design of distributed systems
- CPO semantics of timed interactive actor networks
- On the power of recursion in dataflow schemes
- A high-level dataflow system
- A theory for nondeterminism, parallelism, communication, and concurrency
- Execution termination and computation determinacy of data-flow program nets
- Aspects of parallelism in computer architecture
- The algebra of stream processing functions
- Data flow analysis of program nets
- Semantic Foundations for Deterministic Dataflow and Stream Processing
- PARAdeg-processor scheduling for acyclic SWITCH-less program nets
- A method of computing minimum firing time for self-cleaning SWITCH-less program nets
- Clocks in dataflow languages
- On Metapaths in Metagraphs
- Relevance of network theory to models of distributed/parallel processing
- Primitives for resource management in a demand-driven reduction model
- Specification and verification of concurrent systems by causality and realizability
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4076730)
