Compositional Veri cation of Distributed Systems (1987)

by Bengt Jonsson