Proving testing preorders for process algebra descriptions.

Fulvio Corno, Marco Cusinato, Mario Ferrero, Paolo Prinetto

Browse the full DATE paper archive.