Towards general axiomatizations for bisimilarity and trace semantics

From MaRDI portal
Publication:2237336

DOI10.1007/978-3-030-73785-6_3OpenAlexW3155482678MaRDI QIDQ2237336

Marco Bernardo

Publication date: 27 October 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-73785-6_3






Cites Work


This page was built for publication: Towards general axiomatizations for bisimilarity and trace semantics