PI-Calculus: A Theory of Mobile Processes
PI-Calculus: A Theory of Mobile Processes
A Broadcast-based Calculus for Communicating Systems
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
A framework for security analysis of mobile wireless networks
Theoretical Computer Science - Automated reasoning for security protocol analysis
A Process Calculus Approach to Sensor Network Programming
SENSORCOMM '07 Proceedings of the 2007 International Conference on Sensor Technologies and Applications
Smart Objects as Building Blocks for the Internet of Things
IEEE Internet Computing
An operational semantics for a calculus for wireless systems
Theoretical Computer Science
A calculus for mobile ad hoc networks
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
PRISMA: a mobile calculus with parametric synchronization
TGC'06 Proceedings of the 2nd international conference on Trustworthy global computing
The Internet of Things: A survey
Computer Networks: The International Journal of Computer and Telecommunications Networking
IEEE Transactions on Services Computing
Smart-M3 information sharing platform
ISCC '10 Proceedings of the The IEEE symposium on Computers and Communications
From the internet of computers to the internet of things
From active data management to event-based systems and more
Semantic analysis of gossip protocols for wireless sensor networks
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
Core calculi for service-oriented computing
Rigorous software engineering for service-oriented systems
Service oriented middleware for the internet of things: a perspective
ServiceWave'11 Proceedings of the 4th European conference on Towards a service-based internet
Design and Realization of a Framework for Human–System Interaction in Smart Homes
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
| Hi-index | 0.00 |
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.