A Cancellation Theorem for BCCSP
AbstractThis 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.
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
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.