Zum Inhalt springen

  2. Turkenburg, Ruben [Verfasser:in]; Beohar, Harsh [Verfasser:in]; Kupke, Clemens [Verfasser:in]; Rot, Jurriaan [Verfasser:in] ; Ruben Turkenburg and Harsh Beohar and Clemens Kupke and Jurriaan Rot [Mitwirkende:r]

    Forward and Backward Steps in a Fibration

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

    Automatic equivalence proofs for non-deterministic coalgebras

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

    Erschienen 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

  5. Forejt, Vojtech [Verfasser:in]; Jancar, Petr [Verfasser:in]; Kiefer, Stefan [Verfasser:in]; Worrell, James [Verfasser:in] ; Vojtech Forejt and Petr Jancar and Stefan Kiefer and James Worrell [Mitwirkende:r]

    Bisimilarity of Probabilistic Pushdown Automata

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

  7. Goncharov, Sergey [Verfasser:in]; Milius, Stefan [Verfasser:in]; Schröder, Lutz [Verfasser:in]; Tsampas, Stelios [Verfasser:in]; Urbat, Henning [Verfasser:in] ; Sergey Goncharov and Stefan Milius and Lutz Schröder and Stelios Tsampas and Henning Urbat [Mitwirkende:r]

    Higher-Order Mathematical Operational Semantics (Early Ideas)

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

  9. Tsampas, Stelios [Verfasser:in]; Williams, Christian [Verfasser:in]; Nuyts, Andreas [Verfasser:in]; Devriese, Dominique [Verfasser:in]; Piessens, Frank [Verfasser:in] ; Stelios Tsampas and Christian Williams and Andreas Nuyts and Dominique Devriese and Frank Piessens [Mitwirkende:r]

    Abstract Congruence Criteria for Weak Bisimilarity

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

  12. Jansen, David N. [Verfasser:in] ; Keiren, Jeroen J. A. [Sonstige Person, Familie und Körperschaft]; Wijs, Anton [Sonstige Person, Familie und Körperschaft]; Friso Groote, Jan [Sonstige Person, Familie und Körperschaft]

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

    Videos
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

  13. Biernacki, Dariusz [Verfasser:in]; Lenglet, Sergueï [Verfasser:in]; Polesiuk, Piotr [Verfasser:in] ; Dariusz Biernacki and Sergueï Lenglet and Piotr Polesiuk [Mitwirkende:r]

    A Complete Normal-Form Bisimilarity for Algebraic Effects and Handlers

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

  16. Silva, Alexandra [Verfasser:in]; Bonchi, Filippo [Verfasser:in]; Bonsangue, Marcello M. [Verfasser:in]; Rutten, Jan J. M. M. [Verfasser:in] ; Alexandra Silva and Filippo Bonchi and Marcello M. Bonsangue and Jan J. M. M. Rutten [Mitwirkende:r]

    Generalizing the powerset construction, coalgebraically

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

  19. Hülsbusch, Mathias [Verfasser:in]; König, Barbara [Verfasser:in]; Küpper, Sebastian [Verfasser:in]; Stoltenow, Lara [Verfasser:in] ; Mathias Hülsbusch and Barbara König and Sebastian Küpper and Lara Stoltenow [Mitwirkende:r]

    Conditional Bisimilarity for Reactive Systems

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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