Paddy Byers

Publication Activity (10 Years)

Years Active: 1990-1994
Publications (10 Years): 0

Publications

David H. Pitt, Paddy Byers
The Rest Says Unchanged (Concurrency and State-Based Specification). Formal Aspects Comput. 6 (5) (1994)
Paddy Byers, David H. Pitt
Conservative extensions: a cautionary note. Bull. EATCS 41 (1990)