Login / Signup

Innocent Strategies as Presheaves and Interactive Equivalences for CCS.

Tom HirschowitzDamien Pous
Published in: Sci. Ann. Comput. Sci. (2012)
Keyphrases