Sheaf semantics for concurrent interacting objects
Author:
Joseph A. Goguen©right=Copyright © Cambridge University Press 1992
Publication:
Mathematical Structures in Computer Science
Publisher:
Cambridge University Press
Copyright © 2009, Cambridge University Press