Trace Simulation Semantics is not Finitely Based over BCCSP

DOI10.14232/ACTACYB.23.1.2017.6zbMath1389.68048OpenAlexW2611533100MaRDI QIDQ5350148

David de Frutos-Escrig, Anna Ingólfsdóttir, Luca Aceto

Publication date: 25 August 2017

Published in: Acta Cybernetica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.14232/actacyb.23.1.2017.6

zbMATH Keywords

BCCSPcomplete axiomatizationstrace simulation preorder

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

This page was built for publication: Trace Simulation Semantics is not Finitely Based over BCCSP