Return to Article Details A Fully Abstract Presheaf Semantics of SCCS with Finite Delay Download Download PDF