Partial Order Reductions Preserving Simulations

Cached

Download Links

by Rob Gerth , Ruurd Kuiper , Wojciech Penczek