MQTT Algebraic Formal Modelling Using ACP

摘要

Internet of Things special nature brings new challenges as to what communication protocols better suit its features, because the most popular ones nowadays, based on client-server or peer-to-peer paradigms, do not fit properly as they may not meet IoT cha