Algebraic posets, algebraic cpo’s and models of concurrency (1981)

by M Mislove
Venue:In Topology and Category Theory in Computer Science