A Logic Characteristic for Timed Extensions of Partial Order Based Equivalences
The intention of the paper is to provide a uniform logic characteristic for timed extensions of partial order based equivalences (pomset trace equivalence, history preserving bisimulation and hereditary history preserving bisimulation) in the setting of timed event structures. For this purpose, we use open maps based characterizations of the equivalences, provided in , and the logics of path assertions from .
KeywordsTimed event structures timed partial order equivalences logic characteristic category theory
Unable to display preview. Download preview PDF.
- 2.Cattani, G.L., Sassone, V.: Higher dimentional transition systems. In: 11th Annual IEEE Symp. on Logic in Computer Science, pp. 55–62. IEEE Comp. Soc. Press, Washington (1996)Google Scholar