Observational Equivalences for Linear Logic Concurrent Constraint Languages

June 28, 2011

Rémy Haemmerlé


Observational Equivalences for Linear Logic Concurrent Constraint Languages

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

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.