Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: real time processes

Sortuj według:

Ogranicz wyniki do:

Analysis of timed concurrent models based on testing equivalence

Andreeva M.V., Bozhenkova E.N., Virbitskaite I.B.

Fundamenta Informaticae

2000

Vol. 43, Nr 1-4

1-20

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 re-lations are provided. We also present algorithms for deciding timed testing for a sub-class of the model under consideration. The key to our decision algorithms is that timed testing equivalences can be reduced to appropriate symbolic bisimulations.