Comparing LOTOS and Z Refinement Relations.

John Derrick, Howard Bowman, Eerke A. Boiten, Maarten Steen

Browse the full FORTE paper archive.