Sheaf Semantics for Concurrent Interacting Objects

Joseph A. Goguen. Sheaf Semantics for Concurrent Interacting Objects. Mathematical Structures in Computer Science, 2(2):159-191, 1992.

Abstract

Abstract is missing.