Some constructions for order-theoretic models of concurrency (1985)

by V R Pratt
Venue:In: Logic of Programs