Refereed article in conference proceedings (A4)
Synchronization property checking and inference in a lock-step synchronous parallel Replica language
List of Authors: Mäkelä Jari-Matti, Leppänen Ville, Forsell Martti
Editors: Uustalu Tarmo, Vain Jüri
Publication year: 2013
Journal: Nordic Workshop on Programming Theory
Book title *: Proceedings of the 25th Nordic Workshop on Programming Theory, NWPT '13
Start page: 50
End page: 52
eISBN: 978-9949-430-70-3