scientific article
From MaRDI portal
Publication:3942370
zbMath0483.68012MaRDI QIDQ3942370
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
denotational semanticsdataflow netstwo player infinite games of perfect informationunbounded fifo queues
Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)
Related Items (11)
Stability, sequentiality and demand driven evaluation in dataflow ⋮ On schematological equivalence of partially interpreted dataflow networks ⋮ Concurrent transition systems ⋮ Linear dynamic Kahn networks are deterministic ⋮ Compositional relational semantics for indeterminate dataflow networks ⋮ Unnamed Item ⋮ An extensional fixed-point semantics for nondeterministic data flow ⋮ An extensional treatment of lazy data flow deadlock ⋮ A proof of the Kahn principle for input/output automata ⋮ Historical introduction to ``Concrete domains by G. Kahn and G. D. Plotkin ⋮ Clocked lambda calculus
This page was built for publication:
