Unfolding-based Partial Order Reduction

Publication
In 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid Spain.
Subodh Sharma
Subodh Sharma
Assistant Professor and Pankaj Gupta Chair Professor in Privacy and Decentralisation

Related