CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
  Home  \  External Talks & Seminars  \  External Talk Page Login  
banner bottom
File Top
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


File Bottom