Integrated model of distributed systems / Wiktor B. Daszczuk.
In modern distributed systems, such as the Internet of Things or cloud computing, verifying their correctness is an essential aspect. This requires modeling approaches that reflect the natural characteristics of such systems: the locality of their components, autonomy of their decisions, and their a...
Full description
Saved in: