Thesis icon

Thesis

Picturing resources in concurrency

Abstract:

Inspired by the pioneering work of Petri and the rise of diagrammatic formalisms to reason about networks of open systems, we introduce the resource calculus---a graphical language for distributed systems. Like process algebras, the resource calculus is modular, with primitive connectors from which all diagrams can be built. We characterise its equational theory by proving a full completeness result for an interpretation in the symmetric monoidal category of additive relations---a result t...

Expand abstract

Actions


Access Document


Files:

Authors


More by this author
Department:
DARS
Role:
Author

Contributors

Role:
Supervisor
Role:
Supervisor
More from this funder
Grant:
FA9550-14-1-0079
Funding agency for:
Robin Piedeleu
Type of award:
DPhil
Level of award:
Doctoral
Awarding institution:
University of Oxford

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP