Roger Hale

	2002
7		Antonio Cau, Roger Hale, J. Dimitrov, Hussein Zedan, Ben C. Moszkowski, M. Manjunathaiah, M. Spivey: A Compositional Framework for Hardware/Software Co-Design. Design Autom. for Emb. Sys. 6(4): 367-399 (2002)
	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

Coauthor Index

1	Peter Bishop	[1]
2	Rachel Cardell-Oliver	[5] [6]
3	Antonio Cau	[7]
4	J. Dimitrov	[7]
5	Irene Greif	[1]
6	John Herbert	[5] [6]
7	Carl Hewitt	[1]
8	M. Manjunathaiah	[7]
9	Todd Matson	[1]
10	Ben C. Moszkowski	[3] [7]
11	Brian Cantwell Smith	[1]
12	M. Spivey	[7]
13	Richard Steiger	[1]
14	Hussein Zedan (Hussein S. M. Zedan)	[7]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page