Paddy Byers

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1994

2 David H. Pitt, Paddy Byers: The Rest Says Unchanged (Concurrency and State-Based Specification). Formal Asp. Comput. 6(5): 471-494 (1994)

1990

1 Paddy Byers, David H. Pitt: Conservative extensions: a cautionary note. Bulletin of the EATCS 41: 196-201 (1990)

	1994
2		David H. Pitt, Paddy Byers: The Rest Says Unchanged (Concurrency and State-Based Specification). Formal Asp. Comput. 6(5): 471-494 (1994)
	1990
1		Paddy Byers, David H. Pitt: Conservative extensions: a cautionary note. Bulletin of the EATCS 41: 196-201 (1990)

Coauthor Index