Marty Ossefort

Correctness Proofs of Communicating Processes: Three Illustrative Examples From the Literature

Marty Ossefort, Marty Ossefort, 1983, TOPL.

A sorting routine of intermediate size and speed

Marty Ossefort, 1983, SIGSMALL '83.

Corrigendum to "Proofs of Networks of Processes''

Marty Ossefort, 1982, IEEE Trans. Software Eng..

Proving safety properties for a general communication protocol

Marty Ossefort, 1983, SIGCOMM 1983.