Compositional Verification of Concurrent Systems by Combining Bisimulations.

Frdric Lang, Radu Mateescu, Franco Mazzanti

Browse the full FM paper archive.