Models of Connected Things: On Priced Probabilistic Timed Reo

Kangli He, Holger Hermanns, Yixiang Chen. Models of Connected Things: On Priced Probabilistic Timed Reo. In Sorel Reisman, Sheikh Iqbal Ahamed, Claudio Demartini, Thomas M. Conte, Ling Liu 0001, William R. Claycomb, Motonori Nakamura, Edmundo Tovar, Stelvio Cimato, Chung-Horng Lung, Hiroki Takakura, Ji-Jiang Yang, Toyokazu Akiyama, Zhiyong Zhang 0002, Kamrul Hasan, editors, 41st IEEE Annual Computer Software and Applications Conference, COMPSAC 2017, Turin, Italy, July 4-8, 2017. Volume 1. pages 234-243, IEEE Computer Society, 2017. [doi]

Authors

Kangli He

This author has not been identified. Look up 'Kangli He' in Google

Holger Hermanns

This author has not been identified. Look up 'Holger Hermanns' in Google

Yixiang Chen

This author has not been identified. Look up 'Yixiang Chen' in Google