| |
| 1995 | ||
|---|---|---|
| 3 | Carron Kirkwood: Specifying Properties of Basic LOTOS Processes Using Temporal Logic. FORTE 1995: 109-116 | |
| 1993 | ||
| 2 | Carron Kirkwood: Automating (Specififation = Implementation) Using Equational Reasoning and LOTOS. TAPSOFT 1993: 544-558 | |
| 1990 | ||
| 1 | Carron Kirkwood, Kathy Norrie: Some Experiments Using Term Rewriting Techniques for Concurrency. FORTE 1990: 527-530 | |
| 1 | Kathy Norrie | [1] |