External Links

    Journal: Electronic Notes in Theoretical Computer Science

    Volume 68, Issue 1

    1 -- 11Richard Buckland, Michael Johnson, Dominic Verity. On the Specification of Higher Dimensional Automata
    12 -- 31Marco Kick. Rule Formats for Timed Processes
    32 -- 46Jan Rothe, Dragan Masulovic. Towards Weak Bisimulation For Coalgebras
    47 -- 69Ralf Schweimeier. A categorical framework for typing CCS-style process communication
    70 -- 85Krzysztof Worytkiewicz. Concrete Process Categories
    86 -- 0Alexander Kurz. Preface
    runs on