External Links

    Journal: Formal Asp. Comput.

    Volume 25, Issue 4

    465 -- 501Yongjian Li, Jun Pang. An inductive approach to strand spaces
    503 -- 541Vashti Galpin, Luca Bortolussi, Jane Hillston. HYPE: Hybrid modelling by composition of flows
    543 -- 572Tomás Poch, Ondrej Sery, Frantisek Plasil, Jan Kofron. Threaded behavior protocols
    573 -- 607Richard Banach, Marco Bozzano. The mechanical generation of fault trees for reactive systems via retrenchment I: combinational circuits
    609 -- 657Richard Banach, Marco Bozzano. The mechanical generation of fault trees for reactive systems via retrenchment II: clocked and feedback circuits
    runs on