The following pages link to Lucid (Q33292):
Displayed 33 items.
- Temporal logic programming (Q582280) (← links)
- An extensional treatment of lazy data flow deadlock (Q671995) (← 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)
- From Lucid to TransLucid: Iteration, dataflow, intensional and Cartesian programming (Q1001347) (← links)
- Integrating Lucid's declarative dataflow paradigm into object-orientation (Q1001351) (← links)
- An operator net model for distributed systems (Q1123601) (← links)
- An extensional treatment of dataflow deadlock (Q1143166) (← links)
- Application of modal logic to programming (Q1150592) (← 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)
- Design and correctness of a compiler for a non-procedural language (Q1240546) (← links)
- Concrete domains (Q1314355) (← links)
- A functional logic for higher level reasoning about computation (Q1318281) (← links)
- Multi-dimensional logic programming: theoretical foundations (Q1390957) (← links)
- A functional model for describing and reasoning about time behaviour of computing systems (Q2265792) (← links)
- Asynchronous stream processing with S-Net (Q2269910) (← links)
- (Q2758318) (← links)
- Comonadic Notions of Computation (Q2873672) (← links)
- (Q3776591) (← links)
- (Q3873558) (← links)
- (Q4003338) (← links)
- (Q4742767) (← links)
- Causal commutative arrows (Q4918242) (← links)
- A new notation for arrows (Q5178012) (← links)
- Functional reactive animation (Q5348880) (← links)
- A generalized Kahn Principle for abstract asynchronous networks (Q5887509) (← links)
- Stratified negation in temporal logic programming and the cycle-sum test (Q5940935) (← links)