×

Towards decidability of timed testing. (English) Zbl 1004.68092

Summary: A formula is constructed that characterizes a timed event structure up to the timed must-preorder.

MSC:

68Q55 Semantics in the theory of computing
PDFBibTeX XMLCite