Testing Conditions for Communicating Stream X-machine Systems Florentin IpateMike Holcombe Original Paper Pages: 431 - 446
Distributing Finite Automata Through Petri Net Synthesis Éric BadouelBenoît CaillaudP. Darondeau Original Paper Pages: 447 - 470
On Verification of Parallel Message-Passing Processes Stein KrogdahlOlav Lysne Original Paper Pages: 471 - 492