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/tcs/McIverRS16.xml
Annabelle McIver Tahiry M. Rabehaja Georg Struth Probabilistic rely-guarantee calculus. 120-134 2016 655 Theor. Comput. Sci. https://doi.org/10.1016/j.tcs.2016.01.016 db/journals/tcs/tcs655.html#McIverRS16