Type-Based Modelling and Collaborative Programming for Control-Oriented Systems (Short Paper)

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]

@inproceedings{MaL19-11,
  title = {Type-Based Modelling and Collaborative Programming for Control-Oriented Systems (Short Paper)},
  author = {Weidong Ma and Zhaohui Luo},
  year = {2019},
  doi = {10.1007/978-3-030-30146-0_35},
  url = {https://doi.org/10.1007/978-3-030-30146-0_35},
  researchr = {https://researchr.org/publication/MaL19-11},
  cites = {0},
  citedby = {0},
  pages = {509-517},
  booktitle = {Collaborative Computing: Networking, Applications and Worksharing - 15th EAI International Conference, CollaborateCom 2019, London, UK, August 19-22, 2019, Proceedings},
  editor = {Xinheng Wang and Honghao Gao and Muddesar Iqbal and Geyong Min},
  volume = {292},
  series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering},
  publisher = {Springer},
  isbn = {978-3-030-30146-0},
}