Efficient algorithms for program equivalence for confluent concurrent constraint programming

Concurrent Constraint Programming (CCP) is a well-established declarative framework from concurrency theory. Its foundations and principles e.g., semantics, proof systems, axiomatizations, have been thoroughly studied for over the last two decades. In contrast, the development of algorithms and auto...

Celý popis

Podrobná bibliografia

Vydané v:	Science of computer programming Ročník 111; s. 135 - 155
Hlavní autori:	Pino, Luis F., Bonchi, Filippo, Valencia, Frank
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier B.V 01.11.2015 Elsevier
Predmet:	Bisimulation Computer Science Concurrent constraint programming Formal Languages and Automata Theory Logic in Computer Science Observational equivalence Partition refinement Concurrent constraint programming Observational equivalence Bisimulation Partition refinement
ISSN:	0167-6423, 1872-7964
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!