Models of Connected Things: On Priced Probabilistic Timed Reo.

Kangli He, Holger Hermanns, Yixiang Chen

Browse the full COMPSAC paper archive.