Partially Ordered Runs: A Case Study (2000)

by Yuri Gurevich , Dean Rosenzweig
Venue:In Abstract State Machines: Theory and Applications
Citations:6 - 0 self