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/LaneseMS16.ris
Provider: Schloss Dagstuhl - Leibniz Center for Informatics Database: dblp computer science bibliography Content:text/plain; charset="utf-8" TY - JOUR ID - DBLP:journals/tcs/LaneseMS16 AU - Lanese, Ivan AU - Mezzina, Claudio Antares AU - Stefani, Jean-Bernard TI - Reversibility in the higher-order π-calculus. JO - Theor. Comput. Sci. VL - 625 SP - 25 EP - 84 PY - 2016// DO - 10.1016/J.TCS.2016.02.019 UR - https://doi.org/10.1016/j.tcs.2016.02.019 ER -