A Specification for a Decentralised Internet of Things.

Ryan Kurte Zoran Salcic Kevin I-Kai Wang

Published in: INDIN (2022)

Keyphrases

discrete event systems
autonomous agents
formal specification
high level
multi agent systems
mobile devices
key technologies
physical world
data sets
social networks
website
business processes
mobile computing