Logics for Specifying Concurrent Information Systems
1998 ◽
pp. 167-198
◽
2004 ◽
Vol 50
(2)
◽
pp. 117-173
◽
2020 ◽
Vol 64
(1)
◽
pp. 6-16
◽
2009 ◽
Vol 56
(1)
◽
pp. 33-40
◽
Keyword(s):