Sheaf Semantics for Concurrent Interacting Objects (1992)

by Joseph A. Goguen
Venue:Mathematical Structures in Computer Science