The equational theory of pomsets (1988)

by J L Gischer
Venue:Theoretical Comput. Sci