Some Experiments Using Term Rewriting Techniques for Concurrency. - Carron Kirkwood; Kathy Norrie (FORTE, 1990)

An approach to verifying concurrent systems-a medical information bus (MIB) case study. - Phil Curran; Kathy Norrie (CBMS, 1992)