Robustness of a bisimulation-type faster-than preorder

Katrin Iltgen, Walter Vogler

TACS is an extension of CCS where upper time bounds for delays can be specified. Luettgen and Vogler defined three variants of bismulation-type faster-than relations and showed tha…