A semantic theory of the Internet of things

DOI10.1016/j.ic.2018.01.001zbMath1388.68013arXiv1510.04854OpenAlexW4206771601MaRDI QIDQ1706144

Massimo Merro, Ruggero Lanotte

Publication date: 21 March 2018

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1510.04854

zbMATH Keywords

operational semanticsbisimulationprocess calculusbehavioural semanticsInternet of things

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Internet topics (68M11)

Related Items (5)

Denotational and algebraic semantics for the CaIT calculus ⋮ Security Metrics at Work on the Things in IoT Systems ⋮ A process calculus approach to detection and mitigation of PLC malware ⋮ A Calculus of Cyber-Physical Systems ⋮ A probabilistic calculus of cyber-physical systems

Uses Software

• Linda
• Esterel
• SCEL

Cites Work

• Unnamed Item
• Unnamed Item
• A calculus of trustworthy ad hoc networks
• Verification of mobile ad hoc networks: an algebraic approach
• The internet of things: a survey
• A timed calculus for wireless systems
• A framework for security analysis of mobile wireless networks
• An operational semantics for a calculus for wireless systems
• A process calculus for mobile ad hoc networks
• An observational theory for mobile ad hoc networks (full version)
• The Esterel synchronous programming language: Design, semantics, implementation
• An efficiency preorder for processes
• On reduction-based process semantics
• Mobile ambients
• An introduction to hybrid dynamical systems
• A process algebra for timed systems
• A synchronous \(\pi\)-calculus
• Fine-Grained and Coarse-Grained Reactive Noninterference
• A Process Algebra for Wireless Mesh Networks
• Semantic Analysis of Gossip Protocols for Wireless Sensor Networks
• Behavioral theory for mobile ambients
• A Calculus for Mobile Ad Hoc Networks
• Generative communication in Linda
• Barbed bisimulation
• Modelling MAC-Layer Communications in Wireless Systems
• A Calculus of Cyber-Physical Systems

This page was built for publication: A semantic theory of the Internet of things