Presheaf models for CCS-like languages

Gian Luca Cattani, Glynn Winskel. Presheaf models for CCS-like languages. Theoretical Computer Science, 300(1-3):47-89, 2003. [doi]

Abstract

Abstract is missing.