Formalizing the Environment View of Process Equivalence.

Yuxi Fu, Xiaoju Dong

Browse the full CIS paper archive.