IMDEA Software

IMDEA initiative

Home > Events > Software Seminar Series > 2011 > Observational Equivalences for Linear Logic Concurrent Constraint Languages

Rémy Haemmerlé

Tuesday, June 28, 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.