Sciweavers

FUIN
2008
81views more  FUIN 2008»
14 years 19 days ago
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 p...
Luca Aceto, Wan Fokkink, Anna Ingólfsd&oacu...