Directly executable formal models of middleware for MANET and Cloud Networking and Computing

[摘要] 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.

[发布机构] Penza State University, Penza, Russia^1

[效力级别] 化学

[关键词] Cloud environments;Cloud networkings;Formal model