A Hoare-Like Logic of Asserted Single-Pass Instruction Sequences, pages 125-156

Authors: J.A. Bergstra, C.A. Middelburg

RDA: A Coq Library to Reason about Randomised Distributed Algorithms in the Message Passing Model, pages 157–186

Authors: A. Fontaine, A. Zemmari

On Activation, Connection, and Behavior in Dynamic Architectures, pages 187–248

Authors: D. Marmsoler, M. Gleirscher

Dynamic Chromatic Number of Bipartite Graphs, pages 249–261

Authors: S. Saqaeeyan, E. Mollaahamdi