Sheaf Semantics for Physically Motivated Network Description with Applications

Simple item page
dc.contributorAalto-yliopistofi
dc.contributorAalto Universityen
dc.contributor.authorVisala, Kari 
dc.contributor.departmentTietotekniikan laitosfi
dc.contributor.departmentDepartment of Computer Science and Engineeringen
dc.contributor.schoolSähkötekniikan korkeakoulufi
dc.contributor.schoolSchool of Electrical Engineeringen
dc.date.accessioned2014-08-19T09:00:21Z
dc.date.available2014-08-19T09:00:21Z
dc.date.issued2014 
dc.description.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.en
dc.format.extent11 
dc.format.mimetypeapplication/pdfen
dc.identifier.isbn978-952-60-5794-1 (electronic) 
dc.identifier.issn1799-490X (electronic) 
dc.identifier.issn1799-4896 (ISSN-L) 
dc.identifier.urihttps://aaltodoc.aalto.fi/handle/123456789/13789
dc.identifier.urnURN:ISBN:978-952-60-5794-1 
dc.language.isoenen
dc.publisherAalto Universityen
dc.publisherAalto-yliopistofi
dc.relation.ispartofseriesAalto University publication series SCIENCE + TECHNOLOGYen
dc.relation.ispartofseries10/2014 
dc.subject.keywordinformation-centric networkingen
dc.subject.keywordnetwork description languageen
dc.subject.keywordsheafen
dc.subject.keywordsemanticsen
dc.subject.keywordprotocol specificationen
dc.subject.otherComputer scienceen
dc.titleSheaf Semantics for Physically Motivated Network Description with Applicationsen
dc.typeD4 Julkaistu kehittämis- tai tutkimusraportti tai -selvitysfi
dc.type.dcmitypetexten

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
isbn9789526057941.pdf
Size:
249.52 KB
Format:
Adobe Portable Document Format
Download

Collections

[report] Sähkötekniikan korkeakoulu / ELEC