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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.