Carron Kirkwood

Publication Activity (10 Years)

Years Active: 1990-1995
Publications (10 Years): 0

Publications

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
Experiences in applying formal methods to the analysis of software and system requirements. WIFT (1995)
Carron Kirkwood
Specifying Properties of Basic LOTOS Processes Using Temporal Logic. FORTE (1995)
Carron Kirkwood, Muffy Thomas
Experiences with specification and verification in LOTOS: a report on two case studies. WIFT (1995)
Carron Kirkwood
Automating (Specififation = Implementation) Using Equational Reasoning and LOTOS. TAPSOFT (1993)
Carron Kirkwood
An Experiment using Term Rewriting Techniques for Concurrency. Functional Programming (1990)
Carron Kirkwood, Kathy Norrie
Some Experiments Using Term Rewriting Techniques for Concurrency. FORTE (1990)