Davide Sangiorgi. Bisimilarity Via Unique-Solution Techniques. In Alessandro Aldini, Marco Bernardo 0001, editors, Proceedings of the 19th Italian Conference on Theoretical Computer Science, Urbino, Italy, September 18-20, 2018. Volume 2243 of CEUR Workshop Proceedings, pages 7-11, CEUR-WS.org, 2018. [doi]
@inproceedings{Sangiorgi18,
title = {Bisimilarity Via Unique-Solution Techniques},
author = {Davide Sangiorgi},
year = {2018},
url = {http://ceur-ws.org/Vol-2243/invited2.pdf},
researchr = {https://researchr.org/publication/Sangiorgi18},
cites = {0},
citedby = {0},
pages = {7-11},
booktitle = {Proceedings of the 19th Italian Conference on Theoretical Computer Science, Urbino, Italy, September 18-20, 2018},
editor = {Alessandro Aldini and Marco Bernardo 0001},
volume = {2243},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}