The following publications are possibly variants of this publication:
- Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri NetsStéphane Lafortune, Yin Wang, Spyros A. Reveliotis. apn 2013: 21-28 [doi]
- Discrete Event Simulation: State of the ArtEduard Babulak, Ming Wang. ijoe, 4(2):60-63, 2008. [doi]
- QoS modeling and analysis of component-based software systems: a stochastic approachYunni Xia, Hanpin Wang, Wangsen Feng, Yu Huang. concurrency, 20(12):1359-1385, 2008. [doi]
- Eliminating Concurrency Bugs with Control EngineeringTerence Kelly, Yin Wang, Stéphane Lafortune, Scott A. Mahlke. Computer, 42(11):52-60, 2009. [doi]