Susan Owicki

Distributed Garbage Collection for Network Objects

Ted Wobber, Greg Nelson, Ted Wobber, 1993 .

Verifying network protocols using temporal logic

Brent Hailpern, Susan Owicki, 1980 .

Research in VLSI systems design and architecture

John L. Hennessy, Brian Reid, Forest Baskett, 1981 .

Modular Verification of Computer Communication Protocols

Brent Hailpern, Susan Owicki, 1983, IEEE Trans. Commun..

Proceedings of the 5th Annual Symposium on Computer Architecture, Palo Alto, CA, USA, April 1978

Edward J. McCluskey, Willem vanCleemput, Susan Owicki, 1978, ISCA.

Proceedings of the 1993 ACM SIGMETRICS conference on Measurement and modeling of computer systems, Santa Clara, California, USA, May 10-14, 1993

Susan Owicki, Dick Muntz, 1993, SIGMETRICS.

An axiomatic proof technique for parallel programs I

Susan Owicki, David Gries, S. Owicki, 1976, Acta Informatica.