Partial Order Reductions Preserving Simulations

View PDF

Download Links

by Rob Gerth , Ruurd Kuiper , Wojciech Penczek