Axiomatizing weak simulation semantics over BCCSP

From MaRDI portal
Publication:2453533

DOI10.1016/j.tcs.2013.03.013zbMath1359.68183OpenAlexW2084709987MaRDI QIDQ2453533

Luca Aceto, Anna Ingólfsdóttir, David de Frutos-Escrig, Carlos Gregorio Rodríguez

Publication date: 10 June 2014

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

Full work available at URL: https://doi.org/10.1016/j.tcs.2013.03.013




Related Items (2)



Cites Work




This page was built for publication: Axiomatizing weak simulation semantics over BCCSP