Safe Implementation Equivalence for Asynchronous Nondeterministic Processes.

B. Gammatie

Browse the full MFCS paper archive.