Raiders of the lost equivalence: probabilistic branching bisimilarity

From MaRDI portal
Publication:783681

DOI10.1016/j.ipl.2020.105947zbMath1441.68145OpenAlexW3013492721MaRDI QIDQ783681

Simone Tini, Valentina Castiglioni

Publication date: 4 August 2020

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ipl.2020.105947




Related Items (4)



Cites Work


This page was built for publication: Raiders of the lost equivalence: probabilistic branching bisimilarity