Abstract:
In the paper, we construct a formula that characterizes a timed event structure up to the timed must-preorder.
Keywords:
DOI:
Issue
Pages:
17-29
File:
bozhenkova_2.pdf
(323.85 KB)
In the paper, we construct a formula that characterizes a timed event structure up to the timed must-preorder.