Skip to contents

  4. Bonsangue, Marcello [Author]; Caltais, Georgiana [Author]; Goriac, Eugen-Ioan [Author]; Lucanu, Dorel [Author]; Rutten, Jan [Author]; Silva, Alexandra [Author]

    Automatic equivalence proofs for non-deterministic coalgebras

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    KOPS - The Institutional Repository of the University of Konstanz, 2013

    Published in: Science of Computer Programming. 2013, 78(9), pp. 1324-1345. ISSN 0167-6423. eISSN 1872-7964. Available under: doi:10.1016/j.scico.2012.07.001

  7. Goncharov, Sergey [Author]; Milius, Stefan [Author]; Schröder, Lutz [Author]; Tsampas, Stelios [Author]; Urbat, Henning [Author] ; Sergey Goncharov and Stefan Milius and Lutz Schröder and Stelios Tsampas and Henning Urbat [Contributor]

    Higher-Order Mathematical Operational Semantics (Early Ideas)

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023

  9. Tsampas, Stelios [Author]; Williams, Christian [Author]; Nuyts, Andreas [Author]; Devriese, Dominique [Author]; Piessens, Frank [Author] ; Stelios Tsampas and Christian Williams and Andreas Nuyts and Dominique Devriese and Frank Piessens [Contributor]

    Abstract Congruence Criteria for Weak Bisimilarity

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021

  12. Jansen, David N. [Author] ; Keiren, Jeroen J. A. [Other]; Wijs, Anton [Other]; Friso Groote, Jan [Other]

    An O(m log n) algorithm for branching bisimilarity on labelled transition systems

    Videos
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    [Erscheinungsort nicht ermittelbar]: European Joint Conferences on Theory and Practice of Software - ETAPS - e. V, 2021

    Published in: 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020 ; (Jan. 2021)

  16. Silva, Alexandra [Author]; Bonchi, Filippo [Author]; Bonsangue, Marcello M. [Author]; Rutten, Jan J. M. M. [Author] ; Alexandra Silva and Filippo Bonchi and Marcello M. Bonsangue and Jan J. M. M. Rutten [Contributor]

    Generalizing the powerset construction, coalgebraically

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010

  19. Hülsbusch, Mathias [Author]; König, Barbara [Author]; Küpper, Sebastian [Author]; Stoltenow, Lara [Author] ; Mathias Hülsbusch and Barbara König and Sebastian Küpper and Lara Stoltenow [Contributor]

    Conditional Bisimilarity for Reactive Systems

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020