The intention of the paper is to extend the testing methodology to true concurrent
models with a dense time domain. In particular, we develop three different semantics, based
on interleaving, steps, and partial orders of actions, for testing equivalence in the setting
of timed event structures. We study the relationship...