Verifying Performance Equivalence for Timed Basic Parallel Processes.

Batrice Brard, Anne Labroue, Philippe Schnoebelen

Browse the full FOSSACS paper archive.