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á bibliografie

Vydáno 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:	angličtina
Vydáno:	Cambridge, UK Cambridge University Press 01.07.2011
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!