Structural operational semantics for non-deterministic processes with quantitative aspects

From MaRDI portal
Publication:507377

DOI10.1016/J.TCS.2016.01.012zbMath1356.68157arXiv1410.0893OpenAlexW192542240MaRDI QIDQ507377

Marco Peressotti, Marino Miculan

Publication date: 6 February 2017

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

Full work available at URL: https://arxiv.org/abs/1410.0893




Related Items (5)




Cites Work




This page was built for publication: Structural operational semantics for non-deterministic processes with quantitative aspects