scientific article; zbMATH DE number 3493844
From MaRDI portal
Publication:4076730
zbMATH Open0315.68007MaRDI QIDQ4076730FDOQ4076730
Authors: Jack B. Dennis 
Publication date: 1974
Title of this publication is not available (Why is that?)
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
- Semantic Foundations for Deterministic Dataflow and Stream Processing
- Data flow analysis of program nets
- PARAdeg-processor scheduling for acyclic SWITCH-less program nets
- A method of computing minimum firing time for self-cleaning SWITCH-less program nets
- On Metapaths in Metagraphs
- Clocks in dataflow languages
- 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)
