Simulations Between Specifications of Distributed Systems.

Bengt Jonsson

Browse the full CONCUR paper archive.