A compositional approach to concurrent objects
Keyword(s):
Keyword(s):
2000 ◽
Vol 26
(7)
◽
pp. 617-634
◽