On the Characterization of Until as a Fixed Point Under Clocked Semantics
Keyword(s):
Keyword(s):
Keyword(s):
1965 ◽
Vol 17
◽
pp. 916-922
◽
Keyword(s):
1991 ◽
Vol 40
(2)
◽
pp. 73-78
◽
2015 ◽
Vol 2015
(1)
◽
2013 ◽
Vol 2013
◽
pp. 1-6
◽
Keyword(s):