A Fully Abstract Presheaf Semantics of SCCS with Finite Delay (1999)

by T Hildebrandt
Venue:in ‘Proceedings of CTCS’99’, Electronic Notes in Theoretical Computer Science