![]() | ![]() |
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] |