Observational Preorders for Alternating Transition Systems.

Romain Demangeon, Catalin Dima, Daniele Varacca

Browse the full EUMAS paper archive.