On testing urgency through laziness over processes with durational actions (Q5941201)
From MaRDI portal
scientific article; zbMATH DE number 1635366
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On testing urgency through laziness over processes with durational actions |
scientific article; zbMATH DE number 1635366 |
Statements
On testing urgency through laziness over processes with durational actions (English)
0 references
20 August 2001
0 references
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 \textit{F. Corradini} [Inform. and Comput. 145, 191-230 (1988; Zbl 0921.68031)].
0 references
time-critical systems
0 references
timed process algebras
0 references
timed testing
0 references
expressivity
0 references
