Roger Hale

According to our database1, Roger Hale authored at least 6 papers between 1974 and 2002.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2002
A Compositional Framework for Hardware/Software Co-Design.
Des. Autom. Embed. Syst., 2002

1993
An Embedding of Timed Transition Systems in HOL.
Formal Methods Syst. Des., 1993

1991
Reasoning About Software.
Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, 1991

1987
Using Temporal Logic for Prototyping: The Design of a Lift Controller.
Proceedings of the Temporal Logic in Specification, 1987

Parallel Programming in Temporal Logic.
Proceedings of the PARLE, 1987

1974
Behavioral semantics of nonrecursive control structures.
Proceedings of the Programming Symposium, 1974


  Loading...