External Links

    Journal: Electronic Notes in Theoretical Computer Science

    Volume 65, Issue 1

    1 -- 28Jirí Adámek, Stefan Milius, Jiri Velebil. Final Coalgebras And a Solution Theorem for Arbitrary Endofunctors
    29 -- 53Falk Bartels. GSOS for Probabilistic Transition Systems
    54 -- 70Corina Cîrstea. Institutionalizing Coalgebraic Modal Logic
    71 -- 91Neil Ghani, Christoph Lüth, Federico De Marchi. Coalgebraic Monads
    92 -- 111Jesse Hughes. Some Co-Birkhoff Type Theorems
    112 -- 134Bart Jacobs. Comprehension for Coalgebras
    135 -- 155Alexander Kurz, Dirk Pattinson. Definability, Canonical Models, and Compactness for Finitary Coalgebraic Modal Logic
    156 -- 175Alexander Kurz, Jirí Rosický. Modal Predicates and Co-equations
    176 -- 196Dragan Masulovic. Towards Coalgebraic Behaviourism
    197 -- 253José Meseguer, Grigore Rosu. Towards Behavioral Maude: Behavioral Membership Equational Logic
    254 -- 269Alessandra Palmigiano. Abstract Logics as Dialgebras
    270 -- 285Jan Rothe. A Syntactical Approach to Weak (Bi-)Simulation for Coalgebras
    286 -- 304Jan J. M. M. Rutten. Coinductive Counting: Bisimulation in Enumerative Combinatorics
    305 -- 316Luigi Santocanale. From Parity Games to Circular Proofs
    317 -- 336Hendrik Tews. Greatest Bisimulations for Binary Methods
    337 -- 357Hiroshi Watanabe. Well-behaved Translations between Structural Operational Semantics
    358 -- 364James Worrell. A Note on Coalgebras and Presheaves
    365 -- 366Lawrence S. Moss. Preface
    runs on