External Links

    Journal: Formal Asp. Comput.

    Volume 6, Issue 2

    115 -- 164Jan Friso Groote, Alban Ponse. Process Algebra with Guards: Combining Hoare Logic with Process Algebra
    165 -- 200Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn. A Theory of Processes with Localities
    201 -- 222Luca Aceto. A Static View of Localities
    223 -- 244Grigoris Antoniou. The Verification of Modules
    runs on