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

Full description

Bibliographic Details

Published in:	Science of computer programming Vol. 111; pp. 135 - 155
Main Authors:	Pino, Luis F., Bonchi, Filippo, Valencia, Frank
Format:	Journal Article
Language:	English
Published:	Elsevier B.V 01.11.2015 Elsevier
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!