Title
Decidable Race Condition and Open Coregions in HMSC
Year
DOI
Venue
2010
10.14279/tuj.eceasst.29.406.381
ECEASST
Keywords
Field
DocType
race,race condition
Race condition,Computer science,Theoretical computer science,Decidability,Formalism (philosophy),Time complexity,Design Error,Undecidable problem
Journal
Volume
Citations 
PageRank 
29
1
0.36
References 
Authors
5
4
Name
Order
Citations
PageRank
Vojtĕch Řehák1365.15
Petr Slovák28412.36
Jan Strejcek39913.83
Loïc Hélouët428125.37