Sheaf Semantics for Physically Motivated Network Description with Applications

Loading...
Thumbnail Image
Journal Title
Journal ISSN
Volume Title
School of Electrical Engineering | D4 Julkaistu kehittämis- tai tutkimusraportti tai -selvitys
Date
2014
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.
Description
Keywords
information-centric networking, network description language, sheaf, semantics, protocol specification
Other note
Citation