Compactness in semantics for merge and fair merge (1983)

by J W de Bakker, J I Zucker
Venue:Proceedings of 4th Workshop on Logics of Programs