Innocent Strategies as Presheaves and Interactive Equivalences for CCS

Tom Hirschowitz, Damien Pous. Innocent Strategies as Presheaves and Interactive Equivalences for CCS. Sci. Ann. Cuza Univ., 22(1):147-199, 2012. [doi]

Abstract

Abstract is missing.