Context-Aware Mobility Based on \(\pi \)-Calculus in Internet of Thing: A Survey

  • Vu Tuan Anh
  • Pham Quoc Cuong
  • Phan Cong VinhEmail author
Conference paper
Part of the Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering book series (LNICST, volume 298)


Nowadays, the computing is becoming faster and faster to support very other scientific areas. Internet of Thing (IoT) is taking much advantage from it. At the beginning of IoT, the static things joined in IoT such as: cameras, sensors, and vending machines. Due to the progress of computing science, IoT is expanding on mobile things such as cars, patients, cellphones and other mobile things for traffic controlling, health care, or getting information. The network of mobile things is called as Internet of Mobile Things (IoMT). There are some problems to be solved in IoMT as: Security and Privacy, Mobile Data Collection and Analysis. The data collected from the mobile things can help to improve the security and privacy better, or using for special purposes. To get the data of mobile things, moved from one cluster to another one, we need an algorithm to solve following things: mobility of mobile nodes, and changing in number of the mobile nodes. The pi-calculus is one solution for this problem. Pi-calculus is introduced by Milner as a formal language for modeling and verifying system requirements. In this paper, a survey is performed on pi-calculus for IoMT, and other related calculi.


IoT IoMT Pi-calculus 


  1. 1.
    Anh, V.T., Cuong, P.Q., Vinh, P.C.: Context-aware mobility in internet of thing: a survey. EAI Endorsed Trans. Context-aware Syst. Appl. 6(16), e3 (2019). Scholar
  2. 2.
    Castiglioni, V., Lanotte, R., Merro, M.: A semantic theory for the internet of things. CoRR abs/1510.04854 (2015).
  3. 3.
    Cristescu, I., Hirschkoff, D.: Termination in a \(\pi \)-calculus with subtyping. Math. Struct. Comput. Sci. 26(8), 1395–1432 (2016). Scholar
  4. 4.
    Deng, P., Zhang, J., Rong, X., Chen, F.: A model of large-scale device collaboration system based on pi-calculus for green communication. Telecommun. Syst. 52(2), 1313–1326 (2013). Scholar
  5. 5.
    Hildebrandt, T.T., Johansen, C., Normann, H.: A stable non-interleaving early operational semantics for the pi-calculus. J. Log. Algebr. Meth. Program. 104, 227–253 (2019). Scholar
  6. 6.
    Lanese, I., Bedogni, L., Felice, M.D.: Internet of things: a process calculus approach. In: Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC 2013, Coimbra, Portugal, 18–22 March 2013, pp. 1339–1346 (2013).
  7. 7.
    Lekshmy, V.G., Bhaskar, J.: Programming smart environments using \(\pi \)-calculus. Procedia Comput. Sci. 46, 884–891 (2015). Scholar
  8. 8.
    Liu, Y., Jiang, J.: Analysis and modeling for interaction with mobility based on pi-calculus. In: 2016 IEEE 14th International Conference on Dependable, Autonomic and Secure Computing, 14th International Conference on Pervasive Intelligence and Computing, 2nd International Conference on Big Data Intelligence and Computing and Cyber Science and Technology Congress, DASC/PiCom/DataCom/CyberSciTech 2016, Auckland, New Zealand, 8–12 August 2016, pp. 141–146 (2016).
  9. 9.
    Luca, G.D., Chen, Y.: Visual IoT/robotics programming language in Pi-calculus. In: 13th IEEE International Symposium on Autonomous Decentralized System, ISADS 2017, Bangkok, Thailand, 22–24 March 2017, pp. 23–30 (2017).
  10. 10.
    Miao, J., Wang, L.: Rapid identification authentication protocol for mobile nodes in internet of things with privacy protection. JNW 7(7), 1099–1105 (2012). Scholar
  11. 11.
    Milner, R.: Communicating and Mobile Systems: The \(\pi \)-calculus. Cambridge University Press, New York (1999)Google Scholar
  12. 12.
    Newcomb, J.L., Chandra, S., Jeannin, J.B., Schlesinger, C., Sridharan, M.: Iota: a calculus for internet of things automation. In: Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2017, pp. 119–133. ACM, New York (2017).
  13. 13.
    Sen, J., et al.: Internet of things: technology, applications and standardardization. CoRR abs/1808.09390 (2018).
  14. 14.
    Vigo, R., Nielson, F., Nielson, H.R.: Broadcast, denial-of-service, and secure communication. In: Johnsen, E.B., Petre, L. (eds.) IFM 2013. LNCS, vol. 7940, pp. 412–427. Springer, Heidelberg (2013). Scholar
  15. 15.
    Wu, X., Zhu, H.: A calculus for wireless sensor networks from quality perspective. In: 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, 8–10 January 2015, pp. 223–231 (2015).
  16. 16.
    Xie, W., Zhu, H., Wu, X., Vinh, P.C.: Formal verification of mCWQ using extended hoare logic. MONET 24(1), 134–144 (2019). Scholar
  17. 17.
    Zhao, G., Zhang, N., Sheng, L.: Study of cognitive model for ad hoc network based on high-order multi-type \(\pi \)-calculus modeling. In: IEEE International Conference on Intelligent Computing and Internet of Things, ICIT 2015, Harbin, China, 17–18 January 2015, pp. 141–144. IEEE (2015).

Copyright information

© ICST Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 2019

Authors and Affiliations

  1. 1.Faculty of Electronics TechnologyIndustrial University of Ho Chi Minh CityHo Chi Minh CityVietnam
  2. 2.Faculty of Computer Science and EngineeringHo Chi Minh City University of TechnologyHo Chi Minh CityVietnam
  3. 3.Faculty of Information TechnologyNguyen Tat Thanh UniversityHo Chi Minh CityVietnam

Personalised recommendations