Sheaf semantics for concurrent interacting objects. (1992)

by J Goguen
Venue:Mathematical Structures in Computer Science,