Published in: LIPIcs, Volume 167, 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020)
Paul Brunet and David Pym. Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra. In 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 167, pp. 8:1-8:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{brunet_et_al:LIPIcs.FSCD.2020.8, author = {Brunet, Paul and Pym, David}, title = {{Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra}}, booktitle = {5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020)}, pages = {8:1--8:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-155-9}, ISSN = {1868-8969}, year = {2020}, volume = {167}, editor = {Ariola, Zena M.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2020.8}, URN = {urn:nbn:de:0030-drops-123308}, doi = {10.4230/LIPIcs.FSCD.2020.8}, annote = {Keywords: Concurrent Kleene Algebra, Pomsets, Atomicity, Semantics, Separation, Local reasoning, Bunched logic, Frame rules} }
Published in: LIPIcs, Volume 139, 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019)
Samuel Balco and Alexander Kurz. Nominal String Diagrams. In 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 139, pp. 18:1-18:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{balco_et_al:LIPIcs.CALCO.2019.18, author = {Balco, Samuel and Kurz, Alexander}, title = {{Nominal String Diagrams}}, booktitle = {8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019)}, pages = {18:1--18:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-120-7}, ISSN = {1868-8969}, year = {2019}, volume = {139}, editor = {Roggenbach, Markus and Sokolova, Ana}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2019.18}, URN = {urn:nbn:de:0030-drops-114466}, doi = {10.4230/LIPIcs.CALCO.2019.18}, annote = {Keywords: string diagrams, nominal sets, separated product, simultaneous substitutions, internal category, monoidal category, internal monoidal categories, PROP} }
Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)
David Pym, Eike Ritter, and Thomas Streicher. Semantic Foundations of Proof-search (Dagstuhl Seminar 01141). Dagstuhl Seminar Report 303, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2001)
@TechReport{pym_et_al:DagSemRep.303, author = {Pym, David and Ritter, Eike and Streicher, Thomas}, title = {{Semantic Foundations of Proof-search (Dagstuhl Seminar 01141)}}, pages = {1--16}, ISSN = {1619-0203}, year = {2001}, type = {Dagstuhl Seminar Report}, number = {303}, institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.303}, URN = {urn:nbn:de:0030-drops-151879}, doi = {10.4230/DagSemRep.303}, }
Feedback for Dagstuhl Publishing