scientific article
From MaRDI portal
Publication:3678639
zbMath0564.68002MaRDI QIDQ3678639
William W. Wadge, E. A. Ashcroft
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
parallel programmingprogramming languageProgram transformationProgram verificationLuciddataflow languagesIswimLuswim
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of operating systems (68N25) Theory of software (68Nxx)
Related Items (19)
A generalized Kahn Principle for abstract asynchronous networks ⋮ An operator net model for distributed systems ⋮ Multi-dimensional logic programming: theoretical foundations ⋮ The nature of the extended analog computer ⋮ Connectedness and synchronization ⋮ Clocks in dataflow languages ⋮ Specification and design of shared resource arbitration ⋮ Dataflow analysis of array and scalar references ⋮ Constraint nets: a semantic model for hybrid dynamic systems ⋮ Applications of coarse-grained dataflow in computational mechanis ⋮ A denotational theory of synchronous reactive systems ⋮ Some efficient solutions to the affine scheduling problem. I: One- dimensional time ⋮ Causal commutative arrows ⋮ Multidimensional infinite data in the language Lucid ⋮ Stratified negation in temporal logic programming and the cycle-sum test ⋮ Temporal logic programming ⋮ Lucid ⋮ A functional logic for higher level reasoning about computation ⋮ Comonadic Notions of Computation
This page was built for publication:
