Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs
- 1 September 2004
- journal article
- Published by Springer Nature in Formal Methods in System Design
- Vol. 25 (2/3) , 199-240
- https://doi.org/10.1023/b:form.0000040028.49845.67
Abstract
No abstract availableKeywords
This publication has 0 references indexed in Scilit: