Carron Kirkwood

	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

Coauthor Index

1

Kathy Norrie

[1]