An algebraic specification of the partial orders generated by concurrent Ada computations

Publisher Website

1 January 1989

proceedings article
Published by Association for Computing Machinery (ACM)

p. 225-241
https://doi.org/10.1145/74261.74278

Abstract

No abstract available

Cited by 1 article