Rehak, V., Slovak, P., Strejcek, J., & Helouet, L. (2010). Decidable Race Condition and Open Coregions in HMSC.
Electronic Communications of the EASST
,
29
. https://doi.org/10.14279/tuj.eceasst.29.406