Affiliations: Faculty of Mechanics and Mathematics, Novosibirsk State University, Novosibirsk, Russia | Institute of Informatics Systems, Siberian Division of the Russian Academy of Sciences, Novosibirsk, Russia. bozhenko@iis.nsk.su | Institute of Informatics Systems, Siberian Division of the Russian Academy of Sciences, Novosibirsk, Russia. virb@iis.nsk.su
Note: [] Address for correspondence: Faculty of Mechanics and Mathematics, Novosibirsk State University, Novosibirsk, Russia
Note: [] Address for correspondence: Institute of Informatics Systems, Siberian Division of the Russian Academy of Sciences, Novosibirsk, Russia
Note: [] Address for correspondence: Institute of Informatics Systems, Siberian Division of the Russian Academy of Sciences, Novosibirsk, Russia
Abstract: The intention of the paper is to extend the testing methodology to a model of event structures with a dense time domain. Alternative characterizations of timed testing relations are provided. We also present algorithms for deciding timed testing for a subclass of the model under consideration. The key to our decision algorithms is that timed testing equivalences can be reduced to appropriate symbolic bisimulations.
Keywords: Concurrency Theory, Real Time Processes, Timed Event Structures, Testing, Bisimulation, Decidability
