Ivan Lanese, Davide Sangiorgi, Gianluigi Zavattaro. Playing with Bisimulation in Erlang. In Michele Boreale, Flavio Corradini, Michele Loreti, Rosario Pugliese, editors, Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday. Volume 11665 of Lecture Notes in Computer Science, pages 71-91, Springer, 2019. [doi]
@inproceedings{LaneseSZ19,
title = {Playing with Bisimulation in Erlang},
author = {Ivan Lanese and Davide Sangiorgi and Gianluigi Zavattaro},
year = {2019},
doi = {10.1007/978-3-030-21485-2_6},
url = {https://doi.org/10.1007/978-3-030-21485-2_6},
researchr = {https://researchr.org/publication/LaneseSZ19},
cites = {0},
citedby = {0},
pages = {71-91},
booktitle = {Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday},
editor = {Michele Boreale and Flavio Corradini and Michele Loreti and Rosario Pugliese},
volume = {11665},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-21485-2},
}