Searching for authors named "Gavin Lowe" – sorted by Relevance.
34 documents found, showing 1 through 10.
Next 10 →
-
Prioritized and Probablistic Models of Timed CSP
- …Programming Research Group PRIORITIZED AND PROBABILISTIC MODELS OF TIMED CSP Gavin Lowe PRG-TR-24…
- Add To MetaCart
-
Scheduling-Oriented Models for Real-Time Systems
- …Programming Research Group SCHEDULING-ORIENTED MODELS FOR REAL-TIME SYSTEMS Gavin Lowe PRG-TR-10…
- Cited by 4 (2 self) – Add To MetaCart
-
Representing Nondeterministic and Probabilistic Behaviour in Reactive Processes
- … and Probabilistic Behaviour in Reactive Processes Gavin Lowe Oxford University Computing Laboratory, Wolfson…
- Cited by 12 (0 self) – Add To MetaCart
-
Some Extensions to the Probabilistic Biased Model of Timed CSP
- …Programming Research Group SOME EXTENSIONS TO THE PROBABILISTIC, BIASED MODEL OF TIMED CSP Gavin…
- Cited by 4 (4 self) – Add To MetaCart
-
Infinite Behaviours In The Temporal Agent Model
- …Programming Research Group INFINITE BEHAVIOURS IN THE TEMPORAL AGENT MODEL Gavin Lowe PRG-TR-3…
- Cited by 1 (1 self) – Add To MetaCart
-
Relating the Prioritized Model of Timed CSP to the Timed Failures Model
- … Gavin Lowe PRG-TR-18-92 \Delta Oxford University Computing Laboratory 11 Keble Road, Oxford OX1 3QD…
- Cited by 2 (1 self) – Add To MetaCart
-
Formal Development of Aircraft Control Software: A Case Study in the Specification, Design and Scheduling of a Real-Time System
- … IN THE SPECIFICATION, DESIGN AND SCHEDULING OF A REAL-TIME SYSTEM Gavin Lowe PRG-TR-15-94 \Delta Oxford University…
- Cited by 1 (1 self) – Add To MetaCart
-
Specification and Proof of Prioritized, Timed CSP Processes
- …Programming Research Group SPECIFICATION AND PROOF OF PRIORITIZED, TIMED CSP PROCESSES Gavin Lowe…
- Cited by 2 (2 self) – Add To MetaCart
-
Specification and Proof in Probabilistic, Prioritized, Timed CSP
- …Programming Research Group SPECIFICATION AND PROOF IN PROBABILISTIC, PRIORITIZED, TIMED CSP Gavin…
- Cited by 1 (1 self) – Add To MetaCart
-
Probabilistic and Prioritized Models of Timed CSP
- …Probabilistic and Prioritized Models of Timed CSP Gavin Lowe May 27, 1994 Abstract In this paper…
- Cited by 20 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
