Carron Kirkwood

According to our database, Carron Kirkwood authored at least 6 papers between 1990 and 1995.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1995

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

Carron Kirkwood, Muffy Thomas

Proceedings of the Workshop on Industrial-Strength Formal Specification Techniques, 1995

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

David Hamilton, Richard Covington, John Kelly, Carron Kirkwood, Muffy Thomas, Alan R. Flora-Holmquist, Mark G. Staskauskas, Steven P. Miller, Mandayam K. Srivas, George Cleland, Donald MacKenzie

Proceedings of the Workshop on Industrial-Strength Formal Specification Techniques, 1995

Specifying Properties of Basic LOTOS Processes Using Temporal Logic.

Carron Kirkwood

Proceedings of the Formal Description Techniques VIII, 1995

1993

Automating (Specififation = Implementation) Using Equational Reasoning and LOTOS.

Carron Kirkwood

Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

1990

An Experiment using Term Rewriting Techniques for Concurrency.

Carron Kirkwood

Proceedings of the 1990 Glasgow Workshop on Functional Programming, 1990

Some Experiments Using Term Rewriting Techniques for Concurrency.

Carron Kirkwood, Kathy Norrie

Proceedings of the Formal Description Techniques, 1990