The following pages link to (Q4054644):
Displayed 50 items.
- An extensional treatment of lazy data flow deadlock (Q671995) (← links)
- Conversation protocols: a formalism for specification and verification of reactive electronic services (Q703491) (← links)
- A fixed point approach to parallel discrete event simulation (Q758225) (← links)
- A linear-history semantics for languages for distributed programming (Q796298) (← links)
- A proof of the determinacy property of the data flow schema (Q796973) (← links)
- A model of concurrency with fair merge and full recursion (Q808690) (← links)
- Automated analysis of fault-tolerance in distributed systems (Q816197) (← links)
- Partial metric monoids and semivaluation spaces (Q818425) (← links)
- Merged processes: a new condensed representation of Petri net behaviour (Q854679) (← links)
- Scalable and structured scheduling (Q862862) (← links)
- The SL synchronous language, revisited (Q864504) (← links)
- The Banach fixed point theorem in fuzzy quasi-metric spaces with application to the domain of words (Q886315) (← links)
- A functional programming approach to the specification and verification of concurrent systems (Q909439) (← links)
- Equational reasoning about nondeterministic processes (Q911801) (← links)
- Recursion equation sets computing logic programs (Q920624) (← links)
- CPO semantics of timed interactive actor networks (Q959824) (← links)
- Computing the behaviour of asynchronous processes (Q1054152) (← links)
- On the suitability of trace semantics for modular proofs of communicating processes (Q1060004) (← links)
- Dataflow computing and Eager and Lazy evaluations (Q1077928) (← links)
- A model and temporal proof system for networks of processes (Q1079948) (← links)
- A theory for nondeterminism, parallelism, communication, and concurrency (Q1081296) (← links)
- Modeling concurrency with partial orders (Q1091134) (← links)
- An algebra of processes (Q1096381) (← links)
- Concurrent transition systems (Q1119395) (← links)
- Linear dynamic Kahn networks are deterministic (Q1128478) (← links)
- Temporal analysis of data flow control systems (Q1129680) (← links)
- Semantics of nondeterminism, concurrency, and communication (Q1139946) (← links)
- The temporal semantics of concurrent programs (Q1143164) (← links)
- An extensional treatment of dataflow deadlock (Q1143166) (← links)
- Deadlock absence proofs for networks of communicating processes (Q1151025) (← links)
- Proposition de semantique denotationnelle pour des réseaux de processus avec opérateur de melange équitable (Q1162807) (← links)
- Connectedness and synchronization (Q1179707) (← links)
- An extensional fixed-point semantics for nondeterministic data flow (Q1183593) (← links)
- Clocks in dataflow languages (Q1185019) (← links)
- Specification and design of shared resource arbitration (Q1186094) (← links)
- A denotational theory of synchronous reactive systems (Q1193599) (← links)
- Axiomatic treatment of processes with shared variables revisited (Q1194205) (← links)
- PASCAL in LCF: Semantics and examples of proof (Q1242670) (← links)
- A fully abstract semantics for concurrent constraint programming (Q1275748) (← links)
- Defining concurrent processes constructively (Q1314421) (← links)
- A denotational semantics and dataflow construction for logic programs (Q1318723) (← links)
- A fully abstract trace model for dataflow and asynchronous networks (Q1333374) (← links)
- Stability, sequentiality and demand driven evaluation in dataflow (Q1346605) (← links)
- On schematological equivalence of partially interpreted dataflow networks (Q1373139) (← links)
- Applications of utility functions defined on quasi-metric spaces (Q1404910) (← links)
- Ordered fractal semigroups as a model of computation (Q1410673) (← links)
- Domain theory for concurrency (Q1434357) (← links)
- Network algebra in Java (Q1763161) (← links)
- A proof of the Kahn principle for input/output automata (Q1822994) (← links)
- A Petri nets semantics for data flow networks (Q1894678) (← links)