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
Publication year: 2013
Journal: Nordic Workshop on Programming Theory
Book title *: Proceedings of the 25th Nordic Workshop on Programming Theory, NWPT '13
eISBN: 978-9949-430-70-3