A4 Refereed article in a conference publication

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

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

First page : 50

Last page: 52

eISBN: 978-9949-430-70-3