External Links

    Journal: Formal Methods in System Design

    Volume 41, Issue 2

    129 -- 177Moritz Martens, Mila E. Majster-Cederbaum. Deadlock-freedom in component systems with architectural constraints
    178 -- 210Jade Alglave. A formal hierarchy of weak memory models
    211 -- 231Gregor Gößler, Dana N. Xu, Alain Girault. Probabilistic contracts for component-based design
    runs on