Login / Signup

Guarded Operations, Refinement and Simulation.

Steve ReevesDavid Streader
Published in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases