×

Found 214 Documents (Results 1–100)

Unification of modal logic via topological categories. (English) Zbl 07813640

Master, Jade (ed.) et al., Proceedings of the fifth international conference on applied category theory, ACT 2022, Glasgow, United Kingdom, July 18–22, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 380, 383-399 (2023).
MSC:  68-XX
PDFBibTeX XMLCite
Full Text: DOI arXiv

Preservation and reflection of bisimilarity via invertible steps. (English) Zbl 07770344

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 328-348 (2023).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Kantorovich functors and characteristic logics for behavioural distances. (English) Zbl 07770331

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 46-67 (2023).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Towards a theory of conversion relations for prefixed units of measure. (English) Zbl 07728644

Glück, Roland (ed.) et al., Relational and algebraic methods in computer science. 20th international conference, RAMiCS 2023, Augsburg, Germany, April 3–6, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13896, 258-273 (2023).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Towards mechanised proofs in double-pushout graph transformation. (English) Zbl 07806734

Heckel, Reiko (ed.) et al., Proceedings of the thirteenth international workshop on graph computation models, GCM, Nantes, France, July 6, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 374, 59-75 (2022).
MSC:  68-XX 05-XX
PDFBibTeX XMLCite
Full Text: arXiv Link

A new criterion for \(\mathcal{M}, \mathcal{N} \)-adhesivity, with an application to hierarchical graphs. (English) Zbl 07793030

Bouyer, Patricia (ed.) et al., Foundations of software science and computation structures. 25th international conference, FOSSACS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13242, 205-224 (2022).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Corecursion up-to via causal transformations. (English) Zbl 07628070

Hansen, Helle Hvid (ed.) et al., Coalgebraic methods in computer science. 16th IFIP WG 1.3 international workshop, CMCS 2022, colocated with ETAPS 2022, Munich, Germany, April 2–3, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13225, 133-154 (2022).
MSC:  68Q65
PDFBibTeX XMLCite
Full Text: DOI

Discrete density comonads and graph parameters. (English) Zbl 07628065

Hansen, Helle Hvid (ed.) et al., Coalgebraic methods in computer science. 16th IFIP WG 1.3 international workshop, CMCS 2022, colocated with ETAPS 2022, Munich, Germany, April 2–3, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13225, 23-44 (2022).
MSC:  68Q65
PDFBibTeX XMLCite
Full Text: DOI arXiv

Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic. (English) Zbl 07628064

Hansen, Helle Hvid (ed.) et al., Coalgebraic methods in computer science. 16th IFIP WG 1.3 international workshop, CMCS 2022, colocated with ETAPS 2022, Munich, Germany, April 2–3, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13225, 1-22 (2022).
MSC:  68Q65
PDFBibTeX XMLCite
Full Text: DOI arXiv

On two categories of many-level fuzzy morphological spaces. (English) Zbl 1509.68290

Cornejo, María Eugenia (ed.) et al., Computational intelligence and mathematics for tackling complex problems 2. Selected papers based on the presentations at the 11th European symposium on computational intelligence and mathematics, Toledo, Spain, October 2–5, 2019. Cham: Springer. Stud. Comput. Intell. 955, 207-217 (2022).
PDFBibTeX XMLCite
Full Text: DOI

Transformations of reaction systems over categories by means of epi-mono factorization and functors. (English) Zbl 1492.68050

Gadducci, Fabio (ed.) et al., Graph transformation. 14th international conference, ICGT 2021, held as part of STAF 2021, virtual event, June 24–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12741, 40-59 (2021).
MSC:  68Q07 18A32 18B50
PDFBibTeX XMLCite
Full Text: DOI

Parallel coherent graph transformations. (English) Zbl 07415134

Roggenbach, Markus (ed.), Recent trends in algebraic development techniques. 25th international workshop, WADT 2020, virtual event, April 29, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12669, 75-97 (2021).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI HAL

A quantified coalgebraic van Benthem theorem. (English) Zbl 07410443

Kiefer, Stefan (ed.) et al., Foundations of software science and computation structures. 24th international conference, FOSSACS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12650, 551-571 (2021).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI

The computational significance of Hausdorff’s maximal chain principle. (English) Zbl 07633512

Anselmo, Marcella (ed.) et al., Beyond the horizon of computability. 16th conference on computability in Europe, CiE 2020, Fisciano, Italy, June 29 – July 3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12098, 239-250 (2020).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Single pushout rewriting in comprehensive systems. (English) Zbl 1502.68153

Gadducci, Fabio (ed.) et al., Graph transformation. 13th international conference, ICGT 2020, held as part of STAF 2020, Bergen, Norway, June 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12150, 91-108 (2020).
MSC:  68Q42 18A30
PDFBibTeX XMLCite
Full Text: DOI

Higher-order categorical substructural logic: expanding the horizon of tripos theory. (English) Zbl 07578342

Fahrenberg, Uli (ed.) et al., Relational and algebraic methods in computer science. 18th international conference, RAMiCS 2020, Palaiseau, France, October 26–29, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12062, 187-203 (2020).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Characteristic logics for behavioural metrics via fuzzy Lax extensions. (English) Zbl 07559483

Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 27, 23 p. (2020).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Graph surfing in reaction systems from a categorial perspective. (English) Zbl 1491.68072

Hoffmann, Berthold (ed.) et al., Proceedings of the eleventh international workshop on graph computation models, GCM 2020, online-workshop, June 24, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 330, 71-87 (2020).
MSC:  68Q07 18A10 68Q42
PDFBibTeX XMLCite
Full Text: arXiv Link

The axiom of choice in Cartesian bicategories. (English) Zbl 07649898

Roggenbach, Markus (ed.) et al., 8th conference on algebra and coalgebra in computer science, CALCO 2019, London, United Kingdom, June 3–6, 2019. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 139, Article 15, 17 p. (2019).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Tree automata as algebras: minimisation and determinisation. (English) Zbl 1516.68052

Roggenbach, Markus (ed.) et al., 8th conference on algebra and coalgebra in computer science, CALCO 2019, London, United Kingdom, June 3–6, 2019. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 139, Article 6, 22 p. (2019).
MSC:  68Q70 18B20
PDFBibTeX XMLCite
Full Text: DOI arXiv

Bisimulation maps in presheaf categories. (English) Zbl 07515952

König, Barbara (ed.), Proceedings of the 35th conference on the mathematical foundations of programming semantics, MFPS XXXV, London, UK, June 4–7, 2019. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 347, 5-24 (2019).
MSC:  68N30 68Q55
PDFBibTeX XMLCite
Full Text: DOI arXiv

Fibrational bisimulations and quantitative reasoning. (English) Zbl 1509.18025

Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 190-213 (2018).
MSC:  18N45 68Q85
PDFBibTeX XMLCite
Full Text: DOI HAL

Efficient coalgebraic partition refinement. (English) Zbl 1442.68112

Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 32, 16 p. (2017).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Coalgebraic minimization of automata by initiality and finality. (English) Zbl 1401.68217

Birkedal, Lars (ed.), Proceedings of the 32nd conference on the mathematical foundations of programming semantics (MFPS XXXII), Carnegie Mellon University, Pittsburgh, PA, USA, May 23–26, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 325, 253-276 (2016).
MSC:  68Q70 18B20
PDFBibTeX XMLCite
Full Text: DOI

Transitivity and difunctionality of bisimulations. (English) Zbl 1475.18008

Hasuo, Ichiro (ed.), Coalgebraic methods in computer science. 13th IFIP WG 1.3 international workshop, CMCS 2016, colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2–3, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9608, 33-52 (2016).
MSC:  18C99 68Q85
PDFBibTeX XMLCite
Full Text: DOI HAL

History-preserving bisimilarity for higher-dimensional automata via open maps. (English) Zbl 1334.68117

Kozen, Dexter (ed.) et al., Proceedings of the 29th conference on the mathematical foundations of programming semantics (MFPS XXIX), New Orleans, LA, USA, June 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 298, 165-178 (2013).
MSC:  68Q45 68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Surjunctivity and reversibility of cellular automata over concrete categories. (English) Zbl 1277.37024

Picardello, Massimo A. (ed.), Trends in harmonic analysis. Selected papers of the conference on harmonic analysis, Rome, Italy, May 30–June 4, 2011. Berlin: Springer (ISBN 978-88-470-2852-4/hbk; 978-88-470-2853-1/ebook). Springer INdAM Series 3, 91-133 (2013).
Reviewer: Jan Baetens (Gent)
MSC:  37B15 68Q80 18B05
PDFBibTeX XMLCite
Full Text: DOI arXiv

A characterisation of expressivity for coalgebraic bisimulation and simulation. (English) Zbl 1343.03053

Berger, Ulrich (ed.) et al., Proceedings of the 28th conference on the mathematical foundations of programming semantics (MFPS XXVIII), Bath, UK, June 6–9, 2012. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 286, 323-336 (2012).
MSC:  03G30 03B45 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Model transformation and induced instance migration: a universal framework. (English) Zbl 1349.68050

Simao, Adenilso (ed.) et al., Formal methods, foundations and applications. 14th Brazilian symposium, SBMF 2011, São Paulo, Brazil, September 26–30, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-25031-6/pbk). Lecture Notes in Computer Science 7021, 1-15 (2011).
MSC:  68N30 68P05 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software