A Cancellation Theorem for BCCSP

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.

• Type: Journal
• Year: 2008
• Where: FUIN
• Authors: Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir
• Keywords: Crucial Role, FUIN 2008, Time Spectrum, Van Glabbeek