Carron Kirkwood

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

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

	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]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page