M. P. Herlihy

Axioms for concurrent objects. Interim report

M. P. Herlihy, Jeanette M. Wing, 1987 .

TRANSMITTING ABSTRACT VALUES IN MESSAGES

M. P. Herlihy, 1980 .

Linearizable concurrent objects

M. P. Herlihy, J. M. Wing, 1988, OOPSLA/ECOOP '88.

REPLICATION METHODS FOR ABSTRACT DATA TYPES

M. P. Herlihy, 1984 .