Markovian Testing and Trace Equivalences Exactly Lump More Than Markovian Bisimilarity

From MaRDI portal
Publication:5262954

DOI10.1016/j.entcs.2005.12.079zbMath1316.68086OpenAlexW2080988840MaRDI QIDQ5262954

Marco Bernardo

Publication date: 10 July 2015

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2005.12.079




Related Items (1)



Cites Work


This page was built for publication: Markovian Testing and Trace Equivalences Exactly Lump More Than Markovian Bisimilarity