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...

Celý popis

Podrobná bibliografia

Vydané v:	Theory and practice of logic programming Ročník 11; číslo 4-5; s. 469 - 485
Hlavný autor:	Haemmerle, Remy
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Cambridge, UK Cambridge University Press 01.07.2011
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!