Published in: LIPIcs, Volume 279, 34th International Conference on Concurrency Theory (CONCUR 2023)
Åsmund Aqissiaq Arild Kløvstad, Eduard Kamburjan, and Einar Broch Johnsen. Compositional Correctness and Completeness for Symbolic Partial Order Reduction. In 34th International Conference on Concurrency Theory (CONCUR 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 279, pp. 9:1-9:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{klvstad_et_al:LIPIcs.CONCUR.2023.9, author = {Kl{\o}vstad, \r{A}smund Aqissiaq Arild and Kamburjan, Eduard and Johnsen, Einar Broch}, title = {{Compositional Correctness and Completeness for Symbolic Partial Order Reduction}}, booktitle = {34th International Conference on Concurrency Theory (CONCUR 2023)}, pages = {9:1--9:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-299-0}, ISSN = {1868-8969}, year = {2023}, volume = {279}, editor = {P\'{e}rez, Guillermo A. and Raskin, Jean-Fran\c{c}ois}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2023.9}, URN = {urn:nbn:de:0030-drops-190035}, doi = {10.4230/LIPIcs.CONCUR.2023.9}, annote = {Keywords: Symbolic Execution, Coq, Trace Semantics, Partial Order Reduction} }
Published in: DARTS, Volume 5, Issue 2, Special Issue of the 33rd European Conference on Object-Oriented Programming (ECOOP 2019)
Alen Arslanagić, Jorge A. Pérez, and Erik Voogd. Minimal Session Types (Artifact). In Special Issue of the 33rd European Conference on Object-Oriented Programming (ECOOP 2019). Dagstuhl Artifacts Series (DARTS), Volume 5, Issue 2, pp. 5:1-5:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@Article{arslanagic_et_al:DARTS.5.2.5, author = {Arslanagi\'{c}, Alen and P\'{e}rez, Jorge A. and Voogd, Erik}, title = {{Minimal Session Types}}, pages = {5:1--5:3}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2019}, volume = {5}, number = {2}, editor = {Arslanagi\'{c}, Alen and P\'{e}rez, Jorge A. and Voogd, Erik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DARTS.5.2.5}, URN = {urn:nbn:de:0030-drops-107825}, doi = {10.4230/DARTS.5.2.5}, annote = {Keywords: Session types, process calculi, pi-calculus} }
Published in: LIPIcs, Volume 134, 33rd European Conference on Object-Oriented Programming (ECOOP 2019)
Alen Arslanagić, Jorge A. Pérez, and Erik Voogd. Minimal Session Types (Pearl). In 33rd European Conference on Object-Oriented Programming (ECOOP 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 134, pp. 23:1-23:28, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{arslanagic_et_al:LIPIcs.ECOOP.2019.23, author = {Arslanagi\'{c}, Alen and P\'{e}rez, Jorge A. and Voogd, Erik}, title = {{Minimal Session Types}}, booktitle = {33rd European Conference on Object-Oriented Programming (ECOOP 2019)}, pages = {23:1--23:28}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-111-5}, ISSN = {1868-8969}, year = {2019}, volume = {134}, editor = {Donaldson, Alastair F.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.23}, URN = {urn:nbn:de:0030-drops-108151}, doi = {10.4230/LIPIcs.ECOOP.2019.23}, annote = {Keywords: Session types, process calculi, pi-calculus} }
Feedback for Dagstuhl Publishing