Published in: LIPIcs, Volume 52, 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016)
Andrés Aristizábal, Dariusz Biernacki, Sergueï Lenglet, and Piotr Polesiuk. Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation. In 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016). Leibniz International Proceedings in Informatics (LIPIcs), Volume 52, pp. 9:1-9:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
@InProceedings{aristizabal_et_al:LIPIcs.FSCD.2016.9, author = {Aristiz\'{a}bal, Andr\'{e}s and Biernacki, Dariusz and Lenglet, Sergue\"{i} and Polesiuk, Piotr}, title = {{Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation}}, booktitle = {1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016)}, pages = {9:1--9:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-010-1}, ISSN = {1868-8969}, year = {2016}, volume = {52}, editor = {Kesner, Delia and Pientka, Brigitte}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2016.9}, URN = {urn:nbn:de:0030-drops-59756}, doi = {10.4230/LIPIcs.FSCD.2016.9}, annote = {Keywords: delimited continuation, dynamic prompt generation, contextual equivalence, environmental bisimulation, up-to technique} }
Published in: LIPIcs, Volume 7, Technical Communications of the 26th International Conference on Logic Programming (2010)
Andres A. Aristizabal P.. Bisimilarity in Concurrent Constraint Programming. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 236-240, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{aristizabalp.:LIPIcs.ICLP.2010.236, author = {Aristizabal P., Andres A.}, title = {{Bisimilarity in Concurrent Constraint Programming}}, booktitle = {Technical Communications of the 26th International Conference on Logic Programming}, pages = {236--240}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-17-0}, ISSN = {1868-8969}, year = {2010}, volume = {7}, editor = {Hermenegildo, Manuel and Schaub, Torsten}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.236}, URN = {urn:nbn:de:0030-drops-26029}, doi = {10.4230/LIPIcs.ICLP.2010.236}, annote = {Keywords: Concurrent Constraint Programming, Concurrency, Behavioural Equivalence, Bisimilarity, Process Calculi, Operational Semantics, Labelled Semantics} }
Feedback for Dagstuhl Publishing