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

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Science of computer programming Jg. 111; S. 135 - 155
Hauptverfasser:	Pino, Luis F., Bonchi, Filippo, Valencia, Frank
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier B.V 01.11.2015 Elsevier
Schlagworte:	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
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!