Toward Parametric Veri of Open Distributed Systems (1998)

by A Fredlund, D Gurov
Venue:Compositionality: The Signi Dierence