A formal model and analysis of an IoT protocol

The Internet of Things: A survey

Luigi Atzori, Antonio Iera, Giacomo Morabito · Computer Networks · 2010 · 15.3K citations

Computing, Computer Engineering, Computer Science +10

Internet of Things (IoT): A vision, architectural elements, and future directions

Jayavardhana Gubbi, Rajkumar Buyya, Slaven Marusic et al. · Future Generation Computer Systems · 2013 · 12K citations · Full text

Computing, Information Systems, Information Technology +14

A calculus of mobile processes, I

Robin Milner, Joachim Parrow, David Walker · Information and Computation · 1992 · 2.8K citations · Full text

Engineering, Mathematics, Markov Decision Processes +10

A calculus of mobile processes, II

Robin Milner, Joachim Parrow, David Walker · Information and Computation · 1992 · 1.7K citations · Full text

Engineering, Mathematics, Markov Decision Processes +11

Internet of Things: Applications and Challenges in Technology and Standardization

Debasis Bandyopadhyay, Jaydip Sen · Wireless Personal Communications · 2011 · 1.5K citations

Computing, Information Systems, Information Technology +10