Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
A Cancellation Theorem for BCCSP Luca Aceto1
 

Summary: A Cancellation Theorem for BCCSP
Luca Aceto1
, Wan Fokkink2,3
, and Anna Ingolfsdottir1
1
Reykjav´ik University, School of Computer Science
Kringlan 1, 103 Reykjav´ik, Iceland
2
Vrije Universiteit, Section Theoretical Computer Science
Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands
3
CWI, Embedded Systems Group
Kruislaan 413, 1098 SJ Amsterdam, The Netherlands
luca@ru.is,wanf@cs.vu.nl,annai@ru.is
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 tech-
niques used in the proof of the cancellation theorem may also have some

  

Source: Aceto, Luca - School of Computer Science, Reykjavík University

 

Collections: Mathematics; Computer Technologies and Information Sciences