{"inproceedings":{"@attributes":{"key":"conf\/cpp\/PohjolaP16","mdate":"2018-11-06"},"author":["Johannes \u00c5man Pohjola","Joachim Parrow"],"title":"Bisimulation up-to techniques for psi-calculi.","pages":"142-153","year":"2016","booktitle":"CPP","ee":"https:\/\/doi.org\/10.1145\/2854065.2854080","crossref":"conf\/cpp\/2016","url":"db\/conf\/cpp\/cpp2016.html#PohjolaP16"}}