Compositional methods in characterization of timed event structures

Authors:
Elena Bozhenkova
Affiliations:
A.P. Ershov Institute of Informatics Systems, SB RAS, Novosibirsk, Russia
Venue:
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
Year:
2011

Citing 8
Cited 0

Testing equivalences for event structures

Advanced School on Mathematical models for the semantics of parallelism
Model-checking in dense real-time

Information and Computation - Special issue: selections from 1990 IEEE symposium on logic in computer science
A process algebra for timed systems

Information and Computation
Analysis of timed concurrent models based on testing equivalence

Fundamenta Informaticae - Special issue on Concurrency specification and programming (CS&P)
Causal Testing

MFCS '96 Proceedings of the 21st International Symposium on Mathematical Foundations of Computer Science
Automated Test Generation from Timed Automata

TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Testing Equivalence as a Bisimulation Equivalence

Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems
Testing Theories for Asynchronous Languages

Proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

A logic characteristic formulas up to the timed testing preorders are constructed for model of timed event structures with discrete internal actions. Such logic formulas can be used for deciding a problem of recognizing timed testing relations. Timed event structures can be considered as a composition of their parts. And to simplify construction of characteristic formula we can try to use characteristic formulas of parts. In the paper we use compositional methods for construction of the characteristic formulas in a model of timed event structures with discrete internal actions.