A4 Vertaisarvioitu artikkeli konferenssijulkaisussa

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

Tekijät: Mäkelä Jari-Matti, Leppänen Ville, Forsell Martti

Toimittaja: Uustalu Tarmo, Vain Jüri

Julkaisuvuosi: 2013

Journal: Nordic Workshop on Programming Theory

Kokoomateoksen nimi: Proceedings of the 25th Nordic Workshop on Programming Theory, NWPT '13

Aloitussivu: 50

Lopetussivu: 52

eISBN: 978-9949-430-70-3