Logic unification behavioral equivalences of timed event structures

The intention of the paper is to provide a uniform logic characteristic for timed extensions of partial order based equivalences (pomset trace equivalence, testing equivalence, history preserving bisimulation and hereditary history preserving bisimulation) in the setting of a true concurrency model – timed event structures. For this purpose, we use open maps based characterizations of the equivalences and the logics of path assertions.