Sheaf Semantics for Concurrent Interacting Objects
user correction - Legacy Corrections
Joseph A. Goguen
SVM HeaderParse 0.1
Dept. of Computer Science & Engineering; University of California at San Diego
SVM HeaderParse 0.2
: This paper uses concepts from sheaf theory to explicate phenomena in concurrent systems, including object, inheritance, deadlock, and non-interference, as used in computer security. The approach is very general, and applies not only to concurrent object oriented systems, but also to systems of differential equations, electrical circuits, hardware description languges, and much more. Time can be discrete or continuous, linear or branching, and distribution is allowed over space as well as time. Concepts from category theory help to achieve this generality: objects are modeled by sheaves; inheritance by sheaf morphisms; systems by diagrams; and interconnections by diagrams of diagrams. In addition, behaviour is given by limit, and the result of interconnection by colimit. The approach is illustrated with many examples, including a semantics for a simple concurrent object-based programming language. 1 Introduction Many popular formalisms for concurrent systems are syntactic (or "formal...