Directly executable formal models of middleware for MANET and Cloud Networking and Computing
Dmitry V. Pashchenko, Mustafa Sadeq Jaafar, Sergey A. Zinkin, Dmitry A. Trokoz, Tania Pashchenko, Mihail P. Sinev · Journal of Physics Conference Series · 2016
The article considers some "directly executable" formal models that are suitable for the specification of computing and networking in the cloud environment and other networks which are similar to wireless networks MANET. These models can be easily programmed and implemented on computer networks.