Modelling and Verification of Distributed Algorithms.

Wolfgang Reisig

Browse the full CONCUR paper archive.