Login / Signup

Fully abstract models for a process language with refinement.

Mogens NielsenUffe EngbergKim S. Larsen
Published in: REX Workshop (1988)
Keyphrases