Kathy Norrie

Publication Activity (10 Years)

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

Publications

Phil Curran, Kathy Norrie
An approach to verifying concurrent systems-a medical information bus (MIB) case study. CBMS (1992)
Carron Kirkwood, Kathy Norrie
Some Experiments Using Term Rewriting Techniques for Concurrency. FORTE (1990)