scientific article; zbMATH DE number 3493844

zbMath0315.68007MaRDI QIDQ4076730

Jack B. Dennis

Publication date: 1974

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (16)

On Metapaths in Metagraphs ⋮ A theory for nondeterminism, parallelism, communication, and concurrency ⋮ Semantic Foundations for Deterministic Dataflow and Stream Processing ⋮ Specification and top-down design of distributed systems ⋮ Execution termination and computation determinacy of data-flow program nets ⋮ Specification and verification of concurrent systems by causality and realizability ⋮ Relevance of network theory to models of distributed/parallel processing ⋮ Data flow analysis of program nets ⋮ Clocks in dataflow languages ⋮ CPO semantics of timed interactive actor networks ⋮ PARAdeg-processor scheduling for acyclic SWITCH-less program nets ⋮ The algebra of stream processing functions ⋮ A method of computing minimum firing time for self-cleaning SWITCH-less program nets ⋮ Aspects of parallelism in computer architecture ⋮ A high-level dataflow system ⋮ Primitives for resource management in a demand-driven reduction model

This page was built for publication: