The following pages link to (Q3657421):
Displaying 12 items.
- On denotational versus predicative semantics (Q753499) (← links)
- On the Herbrand-Kleene universe for nondeterministic computations (Q1060011) (← links)
- Structured algebraic specifications: A kernel language (Q1080652) (← links)
- Merging regular processes by means of fixed-point theory (Q1082070) (← links)
- Specification and top-down design of distributed systems (Q1089790) (← links)
- Infinite streams and finite observations in the semantics of uniform concurrency (Q1091800) (← links)
- Applications of compactness in the Smyth powerdomain of streams (Q1107301) (← links)
- Designing equivalent semantic models for process creation (Q1107305) (← links)
- The expressive power of indeterminate dataflow primitives (Q1201292) (← links)
- Nonexpressibility of fairness and signaling (Q1309386) (← links)
- Denotational semantics of communicating processes based on a language for applicative multiprogramming (Q1838282) (← links)
- Towards a complete hierarchy of compositional dataflow models (Q5096218) (← links)