Tag: bisimulation
Showing 1 posts
-
Publications 2018.06.17
Publications 2018.06.17
Local Data Race Freedom with Non-Multi-Copy Atomicity Local Data Race Freedom with Non-Multi-Copy Atomicity
Tatsuya Abe. Local Data Race Freedom with Non-Multi-Copy Atomicity. In Proceedings of SPIN, volume 10869 of Le...memory consistency modelsmodel checkingbisimulationdata race freedomoperational semantics