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/conf/concur/JezequelL16.xml
Loïg Jezequel Didier Lime Lazy Reachability Analysis in Distributed Systems. 17:1-17:14 2016 CONCUR https://doi.org/10.4230/LIPIcs.CONCUR.2016.17 conf/concur/2016 db/conf/concur/concur2016.html#JezequelL16