Sheaf Semantics for Physically Motivated Network Description with Applications

Thumbnail Image

Files

isbn9789526057941.pdf (249.52 KB)

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

2014

Department

Tietotekniikan laitos
Department of Computer Science and Engineering

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

Permanent link to this item

https://urn.fi/URN:ISBN:978-952-60-5794-1

Collections

[report] Sähkötekniikan korkeakoulu / ELEC