Partial Order Reductions for Timed Systems.

Johan Bengtsson, Bengt Jonsson, Johan Lilius, Wang Yi

Browse the full CONCUR paper archive.