Weidong Ma, Zhaohui Luo. Type-Based Modelling and Collaborative Programming for Control-Oriented Systems (Short Paper). In Xinheng Wang, Honghao Gao, Muddesar Iqbal, Geyong Min, editors, Collaborative Computing: Networking, Applications and Worksharing - 15th EAI International Conference, CollaborateCom 2019, London, UK, August 19-22, 2019, Proceedings. Volume 292 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, pages 509-517, Springer, 2019. [doi]
Abstract is missing.