@Proceedings{baldan_et_al:LIPIcs.CALCO.2023,
title = {{LIPIcs, Volume 270, CALCO 2023, Complete Volume}},
booktitle = {10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023)},
pages = {1--336},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-287-7},
ISSN = {1868-8969},
year = {2023},
volume = {270},
editor = {Baldan, Paolo and de Paiva, Valeria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2023},
URN = {urn:nbn:de:0030-drops-187967},
doi = {10.4230/LIPIcs.CALCO.2023},
annote = {Keywords: LIPIcs, Volume 270, CALCO 2023, Complete Volume}
}
@InProceedings{baldan_et_al:LIPIcs.CALCO.2023.0,
author = {Baldan, Paolo and de Paiva, Valeria},
title = {{Front Matter, Table of Contents, Preface, Conference Organization}},
booktitle = {10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023)},
pages = {0:i--0:x},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-287-7},
ISSN = {1868-8969},
year = {2023},
volume = {270},
editor = {Baldan, Paolo and de Paiva, Valeria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2023.0},
URN = {urn:nbn:de:0030-drops-187976},
doi = {10.4230/LIPIcs.CALCO.2023.0},
annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}
@InProceedings{harper:LIPIcs.CALCO.2023.1,
author = {Harper, Robert},
title = {{Integrating Cost and Behavior in Type Theory}},
booktitle = {10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023)},
pages = {1:1--1:2},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-287-7},
ISSN = {1868-8969},
year = {2023},
volume = {270},
editor = {Baldan, Paolo and de Paiva, Valeria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2023.1},
URN = {urn:nbn:de:0030-drops-187980},
doi = {10.4230/LIPIcs.CALCO.2023.1},
annote = {Keywords: type theory, analysis of algorithms, program verification}
}
@InProceedings{bruni:LIPIcs.CALCO.2023.2,
author = {Bruni, Roberto},
title = {{Local Completeness for Program Correctness and Incorrectness}},
booktitle = {10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023)},
pages = {2:1--2:2},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-287-7},
ISSN = {1868-8969},
year = {2023},
volume = {270},
editor = {Baldan, Paolo and de Paiva, Valeria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2023.2},
URN = {urn:nbn:de:0030-drops-187993},
doi = {10.4230/LIPIcs.CALCO.2023.2},
annote = {Keywords: Program analysis, program verification, Hoare logic, incorrectness logic, abstract interpretation, local completeness}
}
@InProceedings{pimentel_et_al:LIPIcs.CALCO.2023.3,
author = {Pimentel, Elaine and Pereira, Luiz Carlos},
title = {{A Tour on Ecumenical Systems}},
booktitle = {10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023)},
pages = {3:1--3:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-287-7},
ISSN = {1868-8969},
year = {2023},
volume = {270},
editor = {Baldan, Paolo and de Paiva, Valeria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2023.3},
URN = {urn:nbn:de:0030-drops-188003},
doi = {10.4230/LIPIcs.CALCO.2023.3},
annote = {Keywords: Intuitionistic logic, classical logic, modal logic, ecumenical systems, proof theory}
}
@InProceedings{siek:LIPIcs.CALCO.2023.4,
author = {Siek, Jeremy G.},
title = {{The Metatheory of Gradual Typing: State of the Art and Challenges}},
booktitle = {10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023)},
pages = {4:1--4:1},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-287-7},
ISSN = {1868-8969},
year = {2023},
volume = {270},
editor = {Baldan, Paolo and de Paiva, Valeria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2023.4},
URN = {urn:nbn:de:0030-drops-188019},
doi = {10.4230/LIPIcs.CALCO.2023.4},
annote = {Keywords: gradual typing, type safety, gradual guarantee, noninterference, simulation, logical relation, mechanized metatheory}
}
@InProceedings{mahboubi:LIPIcs.CALCO.2023.5,
author = {Mahboubi, Assia},
title = {{Machine-Checked Computational Mathematics}},
booktitle = {10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023)},
pages = {5:1--5:1},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-287-7},
ISSN = {1868-8969},
year = {2023},
volume = {270},
editor = {Baldan, Paolo and de Paiva, Valeria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2023.5},
URN = {urn:nbn:de:0030-drops-188024},
doi = {10.4230/LIPIcs.CALCO.2023.5},
annote = {Keywords: Type theory, computer algebra, interactive theorem proving}
}
@InProceedings{turkenburg_et_al:LIPIcs.CALCO.2023.6,
author = {Turkenburg, Ruben and Beohar, Harsh and Kupke, Clemens and Rot, Jurriaan},
title = {{Forward and Backward Steps in a Fibration}},
booktitle = {10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023)},
pages = {6:1--6:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-287-7},
ISSN = {1868-8969},
year = {2023},
volume = {270},
editor = {Baldan, Paolo and de Paiva, Valeria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2023.6},
URN = {urn:nbn:de:0030-drops-188032},
doi = {10.4230/LIPIcs.CALCO.2023.6},
annote = {Keywords: Coalgebra, Fibration, Bisimilarity}
}
@InProceedings{konig_et_al:LIPIcs.CALCO.2023.7,
author = {K\"{o}nig, Harald and Wolter, Uwe and Kr\"{a}uter, Tim},
title = {{Structural Operational Semantics for Heterogeneously Typed Coalgebras}},
booktitle = {10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023)},
pages = {7:1--7:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-287-7},
ISSN = {1868-8969},
year = {2023},
volume = {270},
editor = {Baldan, Paolo and de Paiva, Valeria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2023.7},
URN = {urn:nbn:de:0030-drops-188048},
doi = {10.4230/LIPIcs.CALCO.2023.7},
annote = {Keywords: Coalgebra, Bialgebra, Structural operational semantics, Compositionality}
}
@InProceedings{tarlecki:LIPIcs.CALCO.2023.8,
author = {Tarlecki, Andrzej},
title = {{Interpolation Is (Not Always) Easy to Spoil}},
booktitle = {10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023)},
pages = {8:1--8:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-287-7},
ISSN = {1868-8969},
year = {2023},
volume = {270},
editor = {Baldan, Paolo and de Paiva, Valeria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2023.8},
URN = {urn:nbn:de:0030-drops-188059},
doi = {10.4230/LIPIcs.CALCO.2023.8},
annote = {Keywords: interpolation, institutions, institutional abstract model theory, specification theory}
}
@InProceedings{milosavljevic_et_al:LIPIcs.CALCO.2023.9,
author = {Milosavljevi\'{c}, Aleksandar and Piedeleu, Robin and Zanasi, Fabio},
title = {{String Diagram Rewriting Modulo Commutative (Co)Monoid Structure}},
booktitle = {10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023)},
pages = {9:1--9:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-287-7},
ISSN = {1868-8969},
year = {2023},
volume = {270},
editor = {Baldan, Paolo and de Paiva, Valeria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2023.9},
URN = {urn:nbn:de:0030-drops-188067},
doi = {10.4230/LIPIcs.CALCO.2023.9},
annote = {Keywords: String diagrams, Double-pushout rewriting, Commutative monoid}
}
@InProceedings{adamek_et_al:LIPIcs.CALCO.2023.10,
author = {Ad\'{a}mek, Ji\v{r}{\'\i} and Dost\'{a}l, Mat\v{e}j and Velebil, Ji\v{r}{\'\i}},
title = {{Strongly Finitary Monads for Varieties of Quantitative Algebras}},
booktitle = {10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023)},
pages = {10:1--10:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-287-7},
ISSN = {1868-8969},
year = {2023},
volume = {270},
editor = {Baldan, Paolo and de Paiva, Valeria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2023.10},
URN = {urn:nbn:de:0030-drops-188078},
doi = {10.4230/LIPIcs.CALCO.2023.10},
annote = {Keywords: quantitative algebras, ultra-quantitative algebras, strongly finitary monads, varieties}
}
@InProceedings{zetzsche_et_al:LIPIcs.CALCO.2023.11,
author = {Zetzsche, Stefan and Silva, Alexandra and Sammartino, Matteo},
title = {{Generators and Bases for Monadic Closures}},
booktitle = {10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023)},
pages = {11:1--11:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-287-7},
ISSN = {1868-8969},
year = {2023},
volume = {270},
editor = {Baldan, Paolo and de Paiva, Valeria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2023.11},
URN = {urn:nbn:de:0030-drops-188084},
doi = {10.4230/LIPIcs.CALCO.2023.11},
annote = {Keywords: Monads, Category Theory, Generators, Automata, Coalgebras, Bialgebras}
}
@InProceedings{rot_et_al:LIPIcs.CALCO.2023.12,
author = {Rot, Jurriaan and Wi{\ss}mann, Thorsten},
title = {{Bisimilar States in Uncertain Structures}},
booktitle = {10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023)},
pages = {12:1--12:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-287-7},
ISSN = {1868-8969},
year = {2023},
volume = {270},
editor = {Baldan, Paolo and de Paiva, Valeria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2023.12},
URN = {urn:nbn:de:0030-drops-188094},
doi = {10.4230/LIPIcs.CALCO.2023.12},
annote = {Keywords: Coalgebra, Relation Lifting, Bisimilarity, Mealy Machines, ioco}
}
@InProceedings{stein_et_al:LIPIcs.CALCO.2023.13,
author = {Stein, Dario and Samuelson, Richard},
title = {{A Category for Unifying Gaussian Probability and Nondeterminism}},
booktitle = {10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023)},
pages = {13:1--13:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-287-7},
ISSN = {1868-8969},
year = {2023},
volume = {270},
editor = {Baldan, Paolo and de Paiva, Valeria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2023.13},
URN = {urn:nbn:de:0030-drops-188107},
doi = {10.4230/LIPIcs.CALCO.2023.13},
annote = {Keywords: systems theory, hypergraph categories, Bayesian inference, category theory, Markov categories}
}
@InProceedings{schmid_et_al:LIPIcs.CALCO.2023.14,
author = {Schmid, Todd and Noquez, Victoria and Moss, Lawrence S.},
title = {{Fractals from Regular Behaviours}},
booktitle = {10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023)},
pages = {14:1--14:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-287-7},
ISSN = {1868-8969},
year = {2023},
volume = {270},
editor = {Baldan, Paolo and de Paiva, Valeria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2023.14},
URN = {urn:nbn:de:0030-drops-188111},
doi = {10.4230/LIPIcs.CALCO.2023.14},
annote = {Keywords: fixed-point terms, labelled transition system, fractal, final coalgebra, equational logic, completeness}
}
@InProceedings{north_et_al:LIPIcs.CALCO.2023.15,
author = {North, Paige Randall and P\'{e}roux, Maximilien},
title = {{Coinductive Control of Inductive Data Types}},
booktitle = {10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023)},
pages = {15:1--15:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-287-7},
ISSN = {1868-8969},
year = {2023},
volume = {270},
editor = {Baldan, Paolo and de Paiva, Valeria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2023.15},
URN = {urn:nbn:de:0030-drops-188129},
doi = {10.4230/LIPIcs.CALCO.2023.15},
annote = {Keywords: Inductive types, enriched category theory, algebraic data types, algebra, coalgebra}
}
@InProceedings{fritz_et_al:LIPIcs.CALCO.2023.16,
author = {Fritz, Tobias and Gadducci, Fabio and Perrone, Paolo and Trotta, Davide},
title = {{Weakly Markov Categories and Weakly Affine Monads}},
booktitle = {10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023)},
pages = {16:1--16:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-287-7},
ISSN = {1868-8969},
year = {2023},
volume = {270},
editor = {Baldan, Paolo and de Paiva, Valeria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2023.16},
URN = {urn:nbn:de:0030-drops-188133},
doi = {10.4230/LIPIcs.CALCO.2023.16},
annote = {Keywords: String diagrams, gs-monoidal and Markov categories, categorical probability, affine monads}
}
@InProceedings{kurz_et_al:LIPIcs.CALCO.2023.17,
author = {Kurz, Alexander and Poiger, Wolfgang},
title = {{Many-Valued Coalgebraic Logic: From Boolean Algebras to Primal Varieties}},
booktitle = {10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023)},
pages = {17:1--17:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-287-7},
ISSN = {1868-8969},
year = {2023},
volume = {270},
editor = {Baldan, Paolo and de Paiva, Valeria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2023.17},
URN = {urn:nbn:de:0030-drops-188147},
doi = {10.4230/LIPIcs.CALCO.2023.17},
annote = {Keywords: coalgebraic modal logic, many-valued logic, primal algebras, algebraic semantics, presenting functors}
}
@InProceedings{basold_et_al:LIPIcs.CALCO.2023.18,
author = {Basold, Henning and Ralaivaosaona, Tanjona},
title = {{Composition and Recursion for Causal Structures}},
booktitle = {10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023)},
pages = {18:1--18:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-287-7},
ISSN = {1868-8969},
year = {2023},
volume = {270},
editor = {Baldan, Paolo and de Paiva, Valeria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2023.18},
URN = {urn:nbn:de:0030-drops-188157},
doi = {10.4230/LIPIcs.CALCO.2023.18},
annote = {Keywords: Causal morphisms, Final Coalgebras, Final Chains, Metric Maps, Guarded Recursion, Traced Symmetric Monoidal Category}
}
@InProceedings{dubut:LIPIcs.CALCO.2023.19,
author = {Dubut, J\'{e}r\'{e}my},
title = {{Aczel-Mendler Bisimulations in a Regular Category}},
booktitle = {10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023)},
pages = {19:1--19:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-287-7},
ISSN = {1868-8969},
year = {2023},
volume = {270},
editor = {Baldan, Paolo and de Paiva, Valeria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2023.19},
URN = {urn:nbn:de:0030-drops-188163},
doi = {10.4230/LIPIcs.CALCO.2023.19},
annote = {Keywords: Regular Categories, Toposes, Bisimulations, Coalgebra}
}
@InProceedings{boccali_et_al:LIPIcs.CALCO.2023.20,
author = {Boccali, Guido and Laretto, Andrea and Loregian, Fosco and Luneia, Stefano},
title = {{Completeness for Categories of Generalized Automata}},
booktitle = {10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023)},
pages = {20:1--20:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-287-7},
ISSN = {1868-8969},
year = {2023},
volume = {270},
editor = {Baldan, Paolo and de Paiva, Valeria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2023.20},
URN = {urn:nbn:de:0030-drops-188174},
doi = {10.4230/LIPIcs.CALCO.2023.20},
annote = {Keywords: Deterministic automata, Moore machines, Mealy machines, coalgebras, cocomplete category}
}
@InProceedings{adamek_et_al:LIPIcs.CALCO.2023.21,
author = {Ad\'{a}mek, Ji\v{r}{\'\i} and Milius, Stefan and Moss, Lawrence S.},
title = {{On Kripke, Vietoris and Hausdorff Polynomial Functors}},
booktitle = {10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023)},
pages = {21:1--21:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-287-7},
ISSN = {1868-8969},
year = {2023},
volume = {270},
editor = {Baldan, Paolo and de Paiva, Valeria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2023.21},
URN = {urn:nbn:de:0030-drops-188189},
doi = {10.4230/LIPIcs.CALCO.2023.21},
annote = {Keywords: Hausdorff functor, Vietoris functor, initial algebra, terminal coalgebra}
}
@InProceedings{liittschwager_et_al:LIPIcs.CALCO.2023.22,
author = {Liittschwager, Nathan and Tsampas, Stelios and Castello, Jonathan and Kuper, Lindsey},
title = {{CRDTs, Coalgebraically}},
booktitle = {10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023)},
pages = {22:1--22:5},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-287-7},
ISSN = {1868-8969},
year = {2023},
volume = {270},
editor = {Baldan, Paolo and de Paiva, Valeria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2023.22},
URN = {urn:nbn:de:0030-drops-188198},
doi = {10.4230/LIPIcs.CALCO.2023.22},
annote = {Keywords: Coalgebra, Distributed Systems, Concurrency, Bisimulation}
}
@InProceedings{grodin_et_al:LIPIcs.CALCO.2023.23,
author = {Grodin, Harrison and Harper, Robert},
title = {{Amortized Analysis via Coinduction}},
booktitle = {10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023)},
pages = {23:1--23:6},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-287-7},
ISSN = {1868-8969},
year = {2023},
volume = {270},
editor = {Baldan, Paolo and de Paiva, Valeria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2023.23},
URN = {urn:nbn:de:0030-drops-188201},
doi = {10.4230/LIPIcs.CALCO.2023.23},
annote = {Keywords: amortized analysis, coinduction, data structure, mechanized proof}
}
@InProceedings{goncharov_et_al:LIPIcs.CALCO.2023.24,
author = {Goncharov, Sergey and Milius, Stefan and Schr\"{o}der, Lutz and Tsampas, Stelios and Urbat, Henning},
title = {{Higher-Order Mathematical Operational Semantics}},
booktitle = {10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023)},
pages = {24:1--24:3},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-287-7},
ISSN = {1868-8969},
year = {2023},
volume = {270},
editor = {Baldan, Paolo and de Paiva, Valeria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2023.24},
URN = {urn:nbn:de:0030-drops-188213},
doi = {10.4230/LIPIcs.CALCO.2023.24},
annote = {Keywords: Abstract GSOS, lambda-calculus, applicative bisimilarity, bialgebra}
}
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing