A categorical observation of timed testing equivalence

Authors:
Natalya Gribovskaya;Irina Virbitskaite
Affiliations:
A.P. Ershov Institute of Informatics Systems, Siberian Division of the Russian Academy of Sciences, Novosibirsk, Russia;A.P. Ershov Institute of Informatics Systems, Siberian Division of the Russian Academy of Sciences, Novosibirsk, Russia
Venue:
PaCT'07 Proceedings of the 9th international conference on Parallel Computing Technologies
Year:
2007

Citing 19
Cited 0

Testing equivalences for event structures

Advanced School on Mathematical models for the semantics of parallelism
A theory of timed automata

Theoretical Computer Science
Models for concurrency

Handbook of logic in computer science (vol. 4)
Equivalence Notions for Concurrent Systems and Refinement of Actions (Extended Abstract)

MFCS '89 Proceedings on Mathematical Foundations of Computer Science 1989
Deciding Testing Equivalence for Real-Time Processes with Dense Time

MFCS '93 Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science
Causal Testing

MFCS '96 Proceedings of the 21st International Symposium on Mathematical Foundations of Computer Science
Efficient Scaling-Invariant Checking of Timed Bisimulation

STACS '97 Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science
The Linear Time - Branching Time Spectrum II

CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
Obseving Behaviour Categorically

Proceedings of the 15th Conference on Foundations of Software Technology and Theoretical Computer Science
Generalized Automata and Their Net Representations

Unifying Petri Nets, Advances in Petri Nets
Decidability of Bisimulation Equivalences for Parallel Timer Processes

CAV '92 Proceedings of the Fourth International Workshop on Computer Aided Verification
Logics and Models of Real Time: A Survey

Proceedings of the Real-Time: Theory in Practice, REX Workshop
Timed Transition Systems

Proceedings of the Real-Time: Theory in Practice, REX Workshop
Higher Dimensional Transition Systems

LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Weak Bisimulation and Open Maps

LICS '99 Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science
A category of higher-dimensional automata

FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
Open Maps and Observational Equivalences for Timed Partial Order Models

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Analysis of Timed Concurrent Models Based on Testing Equivalence

Fundamenta Informaticae
Bisimulation and Open Maps for Timed Transition Systems

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

Timed transition systems are a widely studied model for realtime systems. The intention of the paper is to show the applicability of the general categorical framework of open maps to the setting of testing equivalence on timed transition systems, in order to transfer general concepts of equivalences to the model. In particular, we define a category of timed transition systems, whose morphisms are to be thought of as simulations, and an accompanying (sub)category of observations, to which the corresponding notion of open maps is developed. We then use the open maps framework to obtain an abstract bisimilarity which is established to coincide with timed testing equivalence.