Kamide, Norihiro - In: Data Technologies and Applications 52 (2018) 4, pp. 539-563
based on linear-time temporal logic (LTL), computation-tree logic (CTL) and full computation-tree logic (CTL*). A sequential … linear-time temporal logic (sLTL), a sequential computation-tree logic (sCTL), and a sequential full computation-tree logic …
