event structures

Unfolding-based Partial Order Reduction
Cesar Rodriguez, Marcelo Sousa, Subodh Sharma, Daniel Kroening
PDF Cite Project