file.pdf (1.01 MB)

Axioms for concurrent objects

journal contribution

posted on 2014-03-17, 00:00 authored by Maurice Herlihy, Jeannette Marie. Wing

Computer Science Department

History

Date

2014-03-17

Usage metrics

Categories

Information and Computing Sciences not elsewhere classified

Keywords

Abstract data types.Computer programs.Axioms.

Licence

Exports