Trace Simulation Semantics is not Finitely Based over BCCSP

Luca Aceto, David de Frutos-Escrig, Anna Ingólfsdóttir. Trace Simulation Semantics is not Finitely Based over BCCSP. Acta Cybern., 23(1):81-90, 2017. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.