A Cancellation Theorem for BCCSP

Authors

  • Luca Aceto
  • Willem Jan Fokkink
  • Anna Ingólfsdóttir

DOI:

https://doi.org/10.7146/brics.v14i17.22180

Abstract

This paper presents a cancellation theorem for the preorders in van Glabbeek's linear time-branching time spectrum over BCCSP. Apart from having some intrinsic interest, the proven cancellation result plays a crucial role in the study of the cover equations, in the sense of Fokkink and Nain, that characterize the studied semantics. The techniques used in the proof of the cancellation theorem may also have some independent interest.

Published

2007-12-11

How to Cite

Aceto, L., Fokkink, W. J., & Ingólfsdóttir, A. (2007). A Cancellation Theorem for BCCSP. BRICS Report Series, 14(17). https://doi.org/10.7146/brics.v14i17.22180