A logical theory of concurrent objects
2019 ◽
Vol 22
(2)
◽
pp. 139-180
Keyword(s):
Keyword(s):
2000 ◽
Vol 26
(7)
◽
pp. 617-634
◽