Compositional Symmetric Sharing in B
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
A Foundation for Refining Concurrent Objects
Fundamenta Informaticae
A Foundation for Refining Concurrent Objects
Fundamenta Informaticae
Hi-index | 0.00 |