Analysis of timed concurrent models based on testing equivalence

• Autorzy: Andreeva M.V. , Bozhenkova E.N. , Virbitskaite I.B.
• Języki publikacji: EN

Abstrakty

EN

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.

Słowa kluczowe

EN

concurrency theory; real time processes; timed event structures; testing; bisimulation; decidability

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2000
• Tom: Vol. 43, Nr 1-4
• Strony: 1--20
• Opis fizyczny: bibliogr. 33 poz.

Twórcy

autor

Andreeva M.V.

autor

Bozhenkova E.N.

autor

Virbitskaite I.B.

• Faculty of Mechanics and Mathematics, Novosibirsk State University, Novosibirsk, Russia