The Equational Theory of Pomsets (1988)

by Jay Loren Gischer
Venue:Theoretical Computer Science