iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/journals/entcs/BlomO03.xml
Stefan Blom Simona Orzan Distributed Branching Bisimulation Reduction of State Spaces. 2003 conf/pdmc/2003 PDMC@CAV https://doi.org/10.1016/S1571-0661(05)80099-4 db/conf/pdmc/pdmc2003.html#BlomO03 99-113