Sheaves, Objects, and Distributed Systems

Authors:
Grant Malcolm
Affiliations:
Department of Computer Science, University of Liverpool, Liverpool, UK
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2009

Citing 9
Cited 0

Types as theories

Topology and category theory in computer science
Towards an algebraic semantics for the object paradigm

Selected papers from 9th workshop on Specification of abstract data types : recent trends in data type specification: recent trends in data type specification
A hidden agenda

Theoretical Computer Science
Traces, Histories, Graphs: Instances of a Process Monoid

Proceedings of the Mathematical Foundations of Computer Science 1984
A Sheaf Semantics for FOOPS Expressions

ECOOP '91 Proceedings of the Workshop on Object-Based Concurrent Computing
Presheaf Models for Concurrency

CSL '96 Selected Papers from the10th International Workshop on Computer Science Logic
A Categorial Theory of Objects as Observed Processes

Proceedings of the REX School/Workshop on Foundations of Object-Oriented Languages
Circular Coinductive Rewriting

ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Behavioural specification for hierarchical object composition

Theoretical Computer Science - Formal methods for components and objects

Quantified Score

Hi-index	0.00

Visualization

Abstract

We review and extend some recent work that uses sheaf theory to provide a semantic foundation for distributed concurrent systems. A sheaf can be thought of as a system of observations on a topological space, with the key property that consistent local observations can be uniquely pasted together to provide a global observation. We suggest that sheaf theory can provide a framework for the semantics of distributed concurrent systems by exploring the relationships between sheaves and basic models of concurrent processes, particularly labelled transition systems and algebraic specifications of classes and objects.