On testing urgency through laziness over processes with durational actions

Authors
Corradini, F Di Cola, D
Citation
F. Corradini et D. Di Cola, On testing urgency through laziness over processes with durational actions, THEOR COMP, 258(1-2), 2001, pp. 393-407
Citations number
6
Categorie Soggetti
Computer Science & Engineering
Journal title
THEORETICAL COMPUTER SCIENCE
ISSN journal
03043975 → ACNP
Volume
258
Issue
1-2
Year of publication
2001
Pages
393 - 407
Database
ISI
SICI code
0304-3975(20010506)258:1-2<393:OTUTLO>2.0.ZU;2-I
Abstract
In this paper we study restrictions on the expressivity of the timed proces s algebra with durational actions which allow to test urgency of actions th rough actions which can be delayed arbitrarily long before firing, This sol ves a conjecture in Corradini (Inform. and Comput. 145 (1998) 191-230). (C) 2001 Elsevier Science B.V. All rights reserved.