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]
Abstract is missing.