aalto1 untyped-item.component.html
Sheaf Semantics for Physically Motivated Network Description with Applications
Loading...
URL
Journal Title
Journal ISSN
Volume Title
School of Electrical Engineering |
D4 Julkaistu kehittämis- tai tutkimusraportti tai -selvitys
Unless otherwise stated, all rights belong to the author. You may download, display and print this publication for Your own personal use. Commercial use is prohibited.
Authors
Date
Major/Subject
Mcode
Degree programme
Language
en
Pages
11
Series
Aalto University publication series SCIENCE + TECHNOLOGY, 10/2014
Abstract
This paper introduces the notion of event space, a physically motivated mathematical model of distributed non-deterministic concurrent interaction based on Goguen's work on sheaf semantics. It provides unifying compositional semantics suitable for network and protocol description, which we demonstrate by designing a formal language, network resource calculus (NRC), for which we use the event space as a model. We sketch how NRC can be utilized in two application scenarios: specification of information-centric protocols and proof-carrying network description in protocols, that can be used together.