Unifying behavioral equivalences of timed transition systems |
| |
| Authors: | I B Virbitskaite N S Gribovskaya |
| |
| Affiliation: | 1.A. P. Ershov Institute of Informatics Systems, Siberian Branch,Russian Academy of Sciences,Novosibirsk,Russia;2.Novosibirsk State University,Novosibirsk,Russia |
| |
| Abstract: | Timed transition systems are one of the most popular real-time models for concurrency. In the paper, various behavioral equivalences
of timed transition systems are defined and studied. In particular, categories of this model are constructed, and their properties
are studied. In addition, based on the open maps concept, abstract characterization of the considered equivalences is given.
Such an approach makes it possible to develop a metatheory designed for unified definition and study of timed behavioral equivalences
in the “linear time-branching time” spectrum of semantics. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
