
Timed process algebra \(\text{TACS}^{\text{LT}}\), which conservatively extends Milner's CCS by permitting the specification of lower time bounds for the execution of actions and processes, is introduced. The faster-than preorder, introduced by Moller and Tofts (MT-preorder for short), is recalled. It is proved that the MT-preorder is a precongruence for all \(\text{TACS}^{\text{LT}}\) operators (including recursion). An amortized faster-than preorder is introduced and it is proved that the MT-preorder is fully abstract with respect to this preorder. A sound and complete axiomatization of the MT-preorder for the class of finite processes is given. The MT-preorder is investigated also for the case that internal (unobservable) actions are abstracted.
ddc:004, Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), faster-than preorder, Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.), axiomatization, Bisimulation, precongruence, MT-preorder
ddc:004, Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), faster-than preorder, Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.), axiomatization, Bisimulation, precongruence, MT-preorder
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 5 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
