Roger Hale

Publication Activity (10 Years)

Years Active: 1974-2002
Publications (10 Years): 0

Publications

Antonio Cau, Roger Hale, Jordan Dimitrov, Hussein Zedan, Ben C. Moszkowski, M. Manjunathaiah, Michael Spivey
A Compositional Framework for Hardware/Software Co-Design. Des. Autom. Embed. Syst. 6 (4) (2002)
Roger Hale, Rachel Cardell-Oliver, John Herbert
An Embedding of Timed Transition Systems in HOL. Formal Methods Syst. Des. 3 (1/2) (1993)
Rachel Cardell-Oliver, Roger Hale, John Herbert
An Embedding of Timed Transition Systems in HOL. TPHOLs (1992)
Roger Hale
Reasoning About Software. TPHOLs (1991)
Roger Hale, Ben C. Moszkowski
Parallel Programming in Temporal Logic. PARLE (2) (1987)
Roger Hale
Using Temporal Logic for Prototyping: The Design of a Lift Controller. Temporal Logic in Specification (1987)
Carl Hewitt, Peter Boehler Bishop, Richard Steiger, Irene Greif, Brian Cantwell Smith, Todd Matson, Roger Hale
Behavioral semantics of nonrecursive control structures. Symposium on Programming (1974)