76 search results - page 16 / 16 » Cartesian Partial-Order Reduction |
APN
2011
Springer
12 years 9 months ago
2011
Springer
In prime event structures with binary conflicts (pes-bc)3 a branching cell [1] is a subset of events closed under downward causality and immediate conflict relations. This means ...