Vojtech Rehák, Petr Slovák, Jan Strejcek, Loïc Hélouët
Decidable Race Condition and Open Coregions in HMSC
GT-VMT, 2010.
@article{GT-VMT-2010-RehakSSH,
author = "Vojtech Rehák and Petr Slovák and Jan Strejcek and Loïc Hélouët",
ee = "http://journal.ub.tu-berlin.de/index.php/eceasst/article/view/406",
journal = "{Electronic Communications of the EASST}",
title = "{Decidable Race Condition and Open Coregions in HMSC}",
volume = 29,
year = 2010,
}