On testing urgency through laziness over processes with durational actions
In this paper we study restrictions on the expressivity of the timed process algebra with durational actions which allow to test urgency of actions through actions which can be delayed arbitrarily long before firing, This solves a conjecture in Corradini (Inform. and Comput. 145 (1998) 191-230). (C) 2001 Elsevier Science B.V. All rights reserved.
expressivity timed process algebras time-critical systems timed testing