Observational equivalences for linear logic concurrent constraint languages

DOI10.1017/S1471068411000123zbMath1222.68061arXiv1108.0329OpenAlexW3100709767MaRDI QIDQ3087436

Rémy Haemmerlé

Publication date: 16 August 2011

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1108.0329

zbMATH Keywords

linear logicbisimulationconcurrent constraint programmingobservational equivalences\(\pi \)-calculusconstraint handling rules

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (7)

On concurrent behaviors and focusing in linear logic ⋮ Session-based concurrency, declaratively ⋮ Dynamic spaces in concurrent constraint programming ⋮ Subexponential concurrent constraint programming ⋮ A concurrent constraint programming interpretation of access permissions ⋮ Proving concurrent constraint programming correct, revisited ⋮ Models and emerging trends of concurrent constraint programming

Cites Work

• Observable Confluence for Constraint Handling Rules

This page was built for publication: Observational equivalences for linear logic concurrent constraint languages