IMDEA Software

Iniciativa IMDEA

Inicio > Eventos > Software Seminar Series > 2011 > Observational Equivalences for Linear Logic Concurrent Constraint Languages
Esta página aún no ha sido traducida. A continuación se muestra la página en inglés.

Rémy Haemmerlé

martes 28 de junio de 2011

11:00am Meeting room 302 (Mountain View), level 3

Rémy Haemmerlé, Post-doctoral Researcher, The CLIP Laboratory, UPM

Observational Equivalences for Linear Logic Concurrent Constraint Languages

Abstract:

Linear logic Concurrent Constraint programming (LCC) is an extension of concurrent constraint programming (CC) where the constraint system is based on Girard’s linear logic instead of the classical logic. In this talk, we address the problem of observable equivalences for this programming framework. For this purpose, we present a new and truly distributed operational semantics for LCC based on a label transition system. Then we present different notions of observational equivalences inspired by the state of art of Milner’s process calculi.