Axioms for memory access in asynchronous hardware systems (1986)

by J Misra
Venue:A CM Transactions on Programming Languages and Systems