Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage
  • Exploiting Object Escape and L...

Treffer: Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs

Title:
Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs
Authors:
Dwyer, Matthew B., Hatcliff, John, Robby, Ranganath, Venkatesh Prasad
Source:
Formal Methods in System Design: An International Journal. September 2004 25(2-3):199-240
Database:
Springer Nature Journals