Observational equivalences for linear logic concurrent constraint languages

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 paper, we address the problem of program equivalence for this programming framewo...

Full description

Bibliographic Details

Published in:	Theory and practice of logic programming Vol. 11; no. 4-5; pp. 469 - 485
Main Author:	Haemmerle, Remy
Format:	Journal Article
Language:	English
Published:	Cambridge, UK Cambridge University Press 01.07.2011
Subjects:	Algebra Equivalence Handling Logic Logic programming Materials handling Programming Regular Papers Semantics bisimulation observational equivalences π-calculus Constraint Handling Rules linear logic Concurrent Constraint programming
ISSN:	1471-0684, 1475-3081
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!