Yin Wang, Peng Liu 0010, Terence Kelly, Stéphane Lafortune, Spyros A. Reveliotis, Charles Zhang. On atomicity enforcement in concurrent software via Discrete Event Systems theory. In Proceedings of the 51th IEEE Conference on Decision and Control, CDC 2012, December 10-13, 2012, Maui, HI, USA. pages 7230-7237, IEEE, 2012. [doi]
Abstract is missing.