Relations among quantum processes: bisimilarity and congruence

From MaRDI portal
Publication:5482268

DOI10.1017/S096012950600524XzbMath1122.68060arXivquant-ph/0603274OpenAlexW2076218011MaRDI QIDQ5482268

Marie Lalire

Publication date: 28 August 2006

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/quant-ph/0603274




Related Items (15)


Uses Software






This page was built for publication: Relations among quantum processes: bisimilarity and congruence