Date and Time:Thursday, 27 March 2008, 15:30-16:30

Speaker:Paul van Tilburg (TU/e, FM)

Title: Finite Equational Bases for Fragments of CCS with Restriction and Relabelling

Abstract:

We investigate the equational theory of several fragments of CCS modulo (strong) bisimilarity with special attention to restriction and relabelling. The largest fragment we consider includes action prefixing, choice, parallel composition without communication, restriction and elabelling. We present a finite equational base (i.e., a finite ground-complete and omega-complete axiomatisation) for it, including the left merge from ACP as auxiliary operation to facilitate the axiomatisation of parallel composition.
(joint work with Luca Aceto, Anna Ingolfsdottir, Bas Luttik)