Towards categorical models for fairness: fully abstract presheaf semantics of SCCS with finite delay

Thomas T. Hildebrandt. Towards categorical models for fairness: fully abstract presheaf semantics of SCCS with finite delay. Theoretical Computer Science, 294(1/2):151-181, 2003.

Abstract

Abstract is missing.