@inproceedings{fe73ab19c662454492c5d24dda0c22c3,
title = "Deriving labels and bisimilarity for concurrent constraint programming",
abstract = "Concurrent constraint programming (ccp) is a well-established model for concurrency. Bisimilarity is one of the central reasoning techniques in concurrency. The standard definition of bisimilarity, however, is not completely satisfactory for ccp since it yields an equivalence that is too fine grained. By building upon recent foundational investigations, we introduce a labelled transition semantics and a novel notion of bisimilarity that is fully abstract w.r.t. the typical observational equivalence in ccp.",
author = "Andr{\'e}s Aristiz{\'a}bal and Filippo Bonchi and Catuscia Palamidessi and Luis Pino and Frank Valencia",
year = "2011",
month = jan,
day = "1",
doi = "10.1007/978-3-642-19805-2\_10",
language = "English",
isbn = "9783642198045",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "138--152",
booktitle = "Foundations of Software Science and Computational Structures - 14th Int. Conf., FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Proceedings",
}