View of Presheaf Models for CCS-like Languages

Return to Article Details Presheaf Models for CCS-like Languages Download Download PDF