@article{Aubert2019, author = {Aubert, Clément and Cristescu, Ioana}, month = {may}, title = {Structural Equivalence in Reversible Calculus of Communicating Systems (Abstract)}, url = {https://zenodo.org/record/3967743/files/article.pdf}, year = {2019} }