Abstract
In the paper, we construct a formula that characterizes a timed event structure with discrete internal actions up to the timed must-preorder.
File
bozhenkova.pdf168.28 KB
Pages
27-43