Synchronization property checking and inference in a lock-step synchronous parallel Replica language

: Mäkelä Jari-Matti, Leppänen Ville, Forsell Martti

: Uustalu Tarmo, Vain Jüri

: 2013

: Nordic Workshop on Programming Theory

: Proceedings of the 25th Nordic Workshop on Programming Theory, NWPT '13

: 50

: 52

: 978-9949-430-70-3