Refereed article in conference proceedings (A4)

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




List of AuthorsMäkelä Jari-Matti, Leppänen Ville, Forsell Martti

EditorsUustalu Tarmo, Vain Jüri

Publication year2013

JournalNordic Workshop on Programming Theory

Book title *Proceedings of the 25th Nordic Workshop on Programming Theory, NWPT '13

Start page50

End page52

eISBN978-9949-430-70-3



Last updated on 2021-24-06 at 08:49