MDPI Information - distributed systems 2020 : MDPI Information - special issue on modeling, specification, verification and simulation of distributed systems

Modeling, specification, verification, and simulation of distributed systems are extremely important during the development of IoT systems, cloud computing, etc. However, formalisms and mechanisms for dealing with distributed systems mostly originate from the era of centralized concurrent systems and have been extended to distributed systems. Most of them are based on global (or non-local) state, synchronous communication, etc. Those approaches are unrealistic, taking into account the natural locality of decisions in distributed systems, lack of global state, asynchrony of communication, local action autonomy, inevitable nondeterminism, etc. For these reasons, we are launching a Special Issue on such aspects of modeling, specification, verification, and simulation of distributed systems that take into account their natural and inherent features. An example of such a formalism is the Integrated Model of Distributed Systems, with its many aspects and derivative models, but we encourage authors to present other formalisms related to distribution, which will allow for better design and analysis of their behavior than before.

Suggested topics:

Integrated Model of Distributed Systems;
Communication duality in distributed systems, Lauer–Needham postulate;
Algebraic models of distributed systems;
Asynchronous specification of distributed systems;
Automata-based modeling of distributed systems;
Timed specification and verification of distributed systems;
Probabilistic specification and verification of distributed systems;
Automated deadlock detection in distributed systems;
Fairness in verification of distributed systems;
Exhaustive and non-exhaustive verification of distributed systems;
IoT protocols verification;
Static analysis of distributed systems;
Distributed termination;
IMDS vs. other models of distribution;
Modeling code mobility in distributed systems;
Languages for specification of distributed systems.