A semantic theory of the Internet of things

DOI10.1016/j.ic.2018.01.001zbMath1388.68013arXiv1510.04854MaRDI 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 semantics; bisimulation; process calculus; behavioural semantics; Internet of things

Mathematics Subject Classification ID

68Q55: Semantics in the theory of computing

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

68M11: Internet topics

Related Items

A 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