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