Observational equivalences for linear logic CC languages

Rémy Haemmerlé

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…