External Links

    Journal: Formal Asp. Comput.

    Volume 13, Issue 6

    431 -- 446Florentin Ipate, Mike Holcombe. Testing Conditions for Communicating Stream X-machine Systems
    447 -- 470Eric Badouel, Benoît Caillaud, Philippe Darondeau. Distributing Finite Automata Through Petri Net Synthesis
    471 -- 492Stein Krogdahl, Olav Lysne. On Verification of Parallel Message-Passing Processes
    runs on