Trace simulation semantics is not finitely based over BCCSP

Authors

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

DOI:

https://doi.org/10.14232/actacyb.23.1.2017.6

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.

Downloads

Download data is not yet available.

Downloads

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

Issue

Section

Regular articles