Checking order-insensitivity using ternary simulation in synchronous programs.

Moez Yeddes, Hassane Alla

Browse the full ISPASS paper archive.