Abstract
In this paper we use compositional methods for construction of a characteristic formula for the timed testing preorder in a model of timed event structures with discrete internal actions.
File
bozhenkova.pdf228.04 KB
Pages
45-64