Trace simulation semantics is not finitely based over BCCSP

  • Luca Aceto
  • David de Frutos Escrig
  • Anna Ingólfsdóttir

Abstract

This note shows that the trace simulation preorder does not have a finite inequational basis over the language BCCSP. Indeed, no collection of sound inequations of bounded depth is ground-complete with respect to the trace simulation preorder over BCCSP even over a singleton set of actions.
Published
2017-01-01
How to Cite
Aceto, L., Escrig, D. de F., & Ingólfsdóttir, A. (2017). Trace simulation semantics is not finitely based over BCCSP. Acta Cybernetica, 23(1), 81-90. https://doi.org/10.14232/actacyb.23.1.2017.6
Section
Regular articles