Baidu
map

Axiomatizing recursion-free, regular monitors

Aceto, L; Achilleos, A; Anastasiadi, E; Ingolfsdottir, A

Anastasiadi, E (通讯作者),Menntavegur 1, IS-102 Reykjavik, Iceland.

JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2022; 127 ():

Baidu
map
Baidu
map
Baidu
map