Feedback on the Current Page
Published in: LIPIcs, Volume 342, 11th Conference on Algebra and Coalgebra in Computer Science (CALCO 2025)
11th Conference on Algebra and Coalgebra in Computer Science (CALCO 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 342, pp. 1-292, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@Proceedings{cirstea_et_al:LIPIcs.CALCO.2025,
title = {{LIPIcs, Volume 342, CALCO 2025, Complete Volume}},
booktitle = {11th Conference on Algebra and Coalgebra in Computer Science (CALCO 2025)},
pages = {1--292},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-383-6},
ISSN = {1868-8969},
year = {2025},
volume = {342},
editor = {C\^{i}rstea, Corina and Knapp, Alexander},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2025},
URN = {urn:nbn:de:0030-drops-241021},
doi = {10.4230/LIPIcs.CALCO.2025},
annote = {Keywords: LIPIcs, Volume 342, CALCO 2025, Complete Volume}
}
Published in: LIPIcs, Volume 342, 11th Conference on Algebra and Coalgebra in Computer Science (CALCO 2025)
11th Conference on Algebra and Coalgebra in Computer Science (CALCO 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 342, pp. 0:i-0:x, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{cirstea_et_al:LIPIcs.CALCO.2025.0,
author = {C\^{i}rstea, Corina and Knapp, Alexander},
title = {{Front Matter, Table of Contents, Preface, Conference Organization}},
booktitle = {11th Conference on Algebra and Coalgebra in Computer Science (CALCO 2025)},
pages = {0:i--0:x},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-383-6},
ISSN = {1868-8969},
year = {2025},
volume = {342},
editor = {C\^{i}rstea, Corina and Knapp, Alexander},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2025.0},
URN = {urn:nbn:de:0030-drops-241005},
doi = {10.4230/LIPIcs.CALCO.2025.0},
annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}
Published in: LIPIcs, Volume 72, 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017)
Alexander Knapp and Till Mossakowski. UML Interactions Meet State Machines - An Institutional Approach. In 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 72, pp. 15:1-15:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{knapp_et_al:LIPIcs.CALCO.2017.15,
author = {Knapp, Alexander and Mossakowski, Till},
title = {{UML Interactions Meet State Machines - An Institutional Approach}},
booktitle = {7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017)},
pages = {15:1--15:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-033-0},
ISSN = {1868-8969},
year = {2017},
volume = {72},
editor = {Bonchi, Filippo and K\"{o}nig, Barbara},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2017.15},
URN = {urn:nbn:de:0030-drops-80346},
doi = {10.4230/LIPIcs.CALCO.2017.15},
annote = {Keywords: UML, state machines, interactions, composite structure diagrams, institutions, multi-view consistency}
}