Bridging Refinement of Interface Automata to Forward Simulation of I/O Automata.

Yanjun Wen, Ji Wang, Zhi-Chang Qi

Browse the full ICFEM paper archive.