A proof system of the CaIT calculus

A semantic theory of the Internet of Things

(2018) Ruggero Lanotte et al.   INFORMATION AND COMPUTATION

Terahertz band: Next frontier for wireless communications

(2014) Ian F. Akyildiz et al.   Physical Communication

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

(2013) Jayavardhana Gubbi et al.   Future Generation Computer Systems-The International Journal of eScience

A Hoare logic for linear systems

(2011) Rob Arthan et al.   FORMAL ASPECTS OF COMPUTING

The Internet of Things: A survey

(2010) Luigi Atzori et al.   Computer Networks

An Observational Theory for Mobile Ad Hoc Networks (full version)

(2008) Massimo Merro   INFORMATION AND COMPUTATION

Verifying BPEL-like programs with Hoare logic

(2008) Chenguang Luo et al.   Frontiers of Computer Science in China