External Links

    Journal: Formal Methods in System Design

    Volume 48, Issue 1-2

    1 -- 45Karine Altisen, Matthieu Moy. Causality problem in real-time calculus
    46 -- 93Andreas Bauer 0002, Yliès Falcone. Decentralised LTL monitoring
    94 -- 147Paul C. Attie. Synthesis of large dynamic concurrent programs from dynamic specifications
    runs on