Categorical Models for Fairness and a Fully Abstract Presheaf Semantics of SCCS with Finite Delay (1999)

Cached

Download Links

by Thomas T. Hildebrandt
Venue:CTCS’99, LNCS
Citations:3 - 0 self