Affiliations: Reykjavík University, School of Computer
Science, Reykjavík, Iceland. [email protected] | Department of Computer Science, Vrije Universiteit,
Amsterdam, The Netherlands & Department of Software Engineering, CWI,
Amsterdam, The Netherlands. [email protected] | Reykjavík University, School of Computer
Science, Reykjavík, Iceland. [email protected]
Note: [] Address for correspondence: Vrije Universiteit Amsterdam,
Department of Computer Science, De Boelelaan 1081a, 1081 HV Amsterdam, The
Netherlands
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.
