Carron Kirkwood

Towards a symbolic modal logic for LOTOS

Carron Kirkwood, Muffy Thomas, 1996, FME 1996.

Experiences in applying formal methods to the analysis of software and system requirements

Mandayam K. Srivas, Muffy Calder, George Cleland, 1995, Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques.

Verification of LOTOS specifications using term rewriting techniques

Carron Kirkwood, C. Kirkwood, 1994 .

Some Experiments Using Term Rewriting Techniques for Concurrency

Carron Kirkwood, Kathy Norrie, C. Kirkwood, 1990, FORTE.

Specifying Properties of Basic LOTOS Processes Using Temporal Logic

Carron Kirkwood, C. Kirkwood, 1995, FORTE.

An Experiment using Term Rewriting Techniques for Concurrency.

Carron Kirkwood, 1990 .

Experiences with specification and verification in LOTOS: a report on two case studies

Muffy Calder, Carron Kirkwood, 1995, Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques.

Automating (Specififation = Implementation) Using Equational Reasoning and LOTOS

Carron Kirkwood, 1993, TAPSOFT.