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/MiculanP16.xml
Marino Miculan Marco Peressotti Structural operational semantics for non-deterministic processes with quantitative aspects. 135-154 2016 655 Theor. Comput. Sci. https://doi.org/10.1016/j.tcs.2016.01.012 db/journals/tcs/tcs655.html#MiculanP16