The following pages link to (Q3787461):
Displaying 22 items.
- Finite divergence (Q673876) (← links)
- A brief history of Timed CSP (Q674191) (← links)
- Fixed points without completeness (Q674192) (← links)
- Probabilistic and prioritized models of timed CSP (Q674193) (← links)
- CPO semantics of timed interactive actor networks (Q959824) (← links)
- A timed model for communicating sequential processes (Q1109561) (← links)
- Metric semantics for concurrency (Q1113660) (← links)
- A calculus of durations (Q1183485) (← links)
- TIC: a tImed calculus (Q1261314) (← links)
- The timed failures -- Stability model for CSP (Q1274446) (← links)
- On performance congruences for process algebras (Q1275822) (← links)
- Topology, domain theory and theoretical computer science (Q1295216) (← links)
- Faster asynchronous systems. (Q1401952) (← links)
- The fixed-point theory of strictly causal functions (Q2257306) (← links)
- Real time process algebra (Q2640341) (← links)
- Timed testing of concurrent systems (Q4630289) (← links)
- Towards a complete hierarchy of compositional dataflow models (Q5096218) (← links)
- An algebraic framework for developing and maintaining real-time systems (Q5096395) (← links)
- A hierarchy of domains for real-time distributed computing (Q5887512) (← links)
- Factorizing proofs in timed CSP (Q5887513) (← links)
- Unbounded nondeterminism in CSP (Q5887514) (← links)
- Metric semantics for true concurrent real time (Q5940931) (← links)