| |
| 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) | |
| 1 | David H. Pitt | [1] [2] |