Computer Science Technical Reports

Articles from CaltechAUTHORS

• Martin, Alain J. (1981) An Axiomatic Definition of Synchronization Primitives; Acta Informatica; Vol. 16; No. 2; 219-235; 10.1007/BF00261260