|Home \ External Talks & Seminars \ External Talk Page||Login|
A comparison of coalgebraic and metric semantics of a CCS-like language(Research Talk)
By: Elisabete Freire
In this work we will explore two distinct techniques to study the semantics of a language with a simple structure but which illustrates quite well some of the aspects present in many common concurrent languages. The techniques we will use are, on the one hand, a variant of the metric approach based on sets with families of equivalences (L. Monteiro), and on the other hand, the coalgebric representation of systems (J. Rutten). The study will be over a CCS-like language presented by J. De Bakker and E. De Vink named Lsyn. A short comparison of the two techniques will be presented.
Date: 22 Oct 2007
Location/Event: CWI - Amsterdam