Abstract
In the paper, we construct a formula that characterizes a timed event structure up to the timed must-preorder.
File
bozhenkova.pdf323.85 KB
Pages
17-29
In the paper, we construct a formula that characterizes a timed event structure up to the timed must-preorder.