External Links

    Journal: Distributed Computing

    Volume 6, Issue 3

    141 -- 154James H. Anderson. Composite Registers
    155 -- 164Reinhard Enders, Thomas Filkorn, Dirk Taubner. Generating BDDs for Symbolic Model Checking in CCS
    165 -- 179Jean Frédéric Myoupo. Mapping Dynamic Programming Onto Modular Linear Systolic Arrays
    181 -- 192Gil Neiger, Mark R. Tuttle. Common Knowledge and Consistent Simultaneous Coordination
    193 -- 203Rogério Drummond, Özalp Babaoglu. Low-Cost Clock Synchronization
    runs on