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

Vydáno v:	Science of computer programming Ročník 111; s. 135 - 155
Hlavní autoři:	Pino, Luis F., Bonchi, Filippo, Valencia, Frank
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier B.V 01.11.2015 Elsevier
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!