The following pages link to (Q3678639):
Displaying 19 items.
- Lucid (Q33292) (← links)
- Temporal logic programming (Q582280) (← links)
- Constraint nets: a semantic model for hybrid dynamic systems (Q673883) (← links)
- Some efficient solutions to the affine scheduling problem. I: One- dimensional time (Q687632) (← links)
- The nature of the extended analog computer (Q933439) (← links)
- An operator net model for distributed systems (Q1123601) (← links)
- Connectedness and synchronization (Q1179707) (← links)
- Clocks in dataflow languages (Q1185019) (← links)
- Specification and design of shared resource arbitration (Q1186094) (← links)
- Dataflow analysis of array and scalar references (Q1186095) (← links)
- Applications of coarse-grained dataflow in computational mechanis (Q1189315) (← links)
- A denotational theory of synchronous reactive systems (Q1193599) (← links)
- A functional logic for higher level reasoning about computation (Q1318281) (← links)
- Multi-dimensional logic programming: theoretical foundations (Q1390957) (← links)
- Comonadic Notions of Computation (Q2873672) (← links)
- Causal commutative arrows (Q4918242) (← links)
- Multidimensional infinite data in the language Lucid (Q5740669) (← links)
- A generalized Kahn Principle for abstract asynchronous networks (Q5887509) (← links)
- Stratified negation in temporal logic programming and the cycle-sum test (Q5940935) (← links)
