|
Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya Matematika, Mekhanika, Informatika, 2008, Volume 8, Issue 2, Pages 14–29
(Mi vngu285)
|
|
|
|
Open maps and behavioural equivalences for timed stable event structures
M. V. Andreeva A. P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences, Novosibirsk
Abstract:
Using methods of category theory, the paper introduces and investigates timed variants of partial-order based equivalence notions for concurrent and real-time processes represented by timed stable event structures. In particular, categories of the models under consideration are developed, and open maps based characterizations of timed variants of (Pratt trace, trace, testing and history hereditary preserving bisimulation) equivalences are provided.
Received: 14.03.2008
Citation:
M. V. Andreeva, “Open maps and behavioural equivalences for timed stable event structures”, Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 8:2 (2008), 14–29
Linking options:
https://www.mathnet.ru/eng/vngu285 https://www.mathnet.ru/eng/vngu/v8/i2/p14
|
Statistics & downloads: |
Abstract page: | 128 | Full-text PDF : | 42 | References: | 44 | First page: | 1 |
|