This paper presents a process calculus specifically designed to model systems based on the Internet of Things paradigm. We define a formal syntax and semantics for the calculus, and show how it can be used to reason about relevant examples. We also define two notions of bisimilarity, one capturing the behavior seen by the end user of the system, and one allowing compositional reasoning. Copyright 2013 ACM.
CITATION STYLE
Lanese, I., Bedogni, L., & Di Felice, M. (2013). Internet of things: A process calculus approach. In Proceedings of the ACM Symposium on Applied Computing (pp. 1339–1346). https://doi.org/10.1145/2480362.2480615
Mendeley helps you to discover research relevant for your work.