Used together with:
open
(1)
decid
(1)
hmsc
(1)
race
(1)
condit
(1)
Stem
coregion$ (
all stems
)
1 papers:
GT-VMT-2010-RehakSSH
#decidability
Decidable Race Condition and Open Coregions in HMSC (
VR
,
PS
,
JS
,
LH
).
Bibliography of Software Language Engineering in Generated Hypertext
(
BibSLEIGH
) is created and maintained by
Dr. Vadim Zaytsev
.
Hosted as a part of
SLEBOK
on
GitHub
.