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

Uses Software

• Linda
• Esterel
• SCEL