External Links

    Journal: Sci. Ann. Cuza Univ.

    Volume 26, Issue 2

    125 -- 156Jan A. Bergstra, C. A. Middelburg. A Hoare-Like Logic of Asserted Single-Pass Instruction Sequences
    157 -- 186Allyx Fontaine, Akka Zemmari. RDA: A Coq Library to Reason about Randomised Distributed Algorithms in the Message Passing Model
    187 -- 248Diego Marmsoler, Mario Gleirscher. On Activation, Connection, and Behavior in Dynamic Architectures
    249 -- 261Sasan Saqaeeyan, Esmaiel Mollaahamdi. Dynamic Chromatic Number of Bipartite Graphs
    runs on