Speaker: Mohammad Mousavi (OAS, TU/e)
Title: The Equational Theory of Timed CCS

Abstract:
(Joint work with Luca Aceto and Anna Ingolfsdottir)

The aim of the talk is to revisit the study of the equational
theory of parallel composition in TCCS by obtaining results in the
spirit of those that Faron Moller showed for Milner's CCS. We
prove that timed bisimilarity is not finitely based over TCCS.
Moreover, unlike in the setting of CCS, adding two "natural"
variations on the (timed) left-merge operator to TCCS does not
yield a finitely axiomatizable theory. In passing, we sharpen the
so-called Gap Theorem of J.-C. Godskesen and Kim G. Larsen by
showing that even in the presence of a single action parallelism
cannot be resolved in TCCS.