Sheaf Semantics for Physically Motivated Network Description with Applications
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.
Aalto University publication series SCIENCE + TECHNOLOGY, 10/2014
AbstractThis 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.
information-centric networking, network description language, sheaf, semantics, protocol specification