8 citations · 9 across the 2 of their papers we have counts for
1 paper · 1 filter
César Rodríguez, Marcelo Sousa, Subodh Sharma +1
Partial order reduction (POR) and net unfoldings are two alternative methods to tackle state-space explosion caused by concurrency. In this paper, we propose the combination of bot…