| 1993 |
|---|
| 6 | | Roger Hale,
Rachel Cardell-Oliver,
John Herbert:
An Embedding of Timed Transition Systems in HOL.
Formal Methods in System Design 3(1/2): 151-174 (1993) |
| 1992 |
|---|
| 5 | | Rachel Cardell-Oliver,
Roger Hale,
John Herbert:
An Embedding of Timed Transition Systems in HOL.
TPHOLs 1992: 263-278 |
| 1991 |
|---|
| 4 | | Roger Hale:
Reasoning About Software.
TPHOLs 1991: 52-58 |
| 1987 |
|---|
| 3 | | Roger Hale,
Ben C. Moszkowski:
Parallel Programming in Temporal Logic.
PARLE (2) 1987: 277-296 |
| 2 | | Roger Hale:
Using Temporal Logic for Prototyping: The Design of a Lift Controller.
Temporal Logic in Specification 1987: 375-408 |
| 1974 |
|---|
| 1 | | Carl Hewitt,
Peter Bishop,
Richard Steiger,
Irene Greif,
Brian Cantwell Smith,
Todd Matson,
Roger Hale:
Behavioral semantics of nonrecursive control structures.
Symposium on Programming 1974: 385-407 |
