On testing urgency through laziness over processes with durational actions (Q5941201)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: On testing urgency through laziness over processes with durational actions |
scientific article; zbMATH DE number 1635366
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.7919389605522156
0 references
0.7883001565933228
0 references
0.7880779504776001
0 references
0.7547762989997864
0 references
0.7547762989997864
0 references
