Kathy Norrie

According to our database, Kathy Norrie authored at least 2 papers between 1990 and 1992.

Collaborative distances:

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

1992

An approach to verifying concurrent systems-a medical information bus (MIB) case study.

Phil Curran, Kathy Norrie

Proceedings of the Fifth Annual IEEE Symposium on Computer-Based Medical Systems (CBMS'92), 1992

1990

Some Experiments Using Term Rewriting Techniques for Concurrency.

Carron Kirkwood, Kathy Norrie

Proceedings of the Formal Description Techniques, 1990