Communicating sequential processes
Communicating sequential processes
Distributed systems, partial orderings of events, and event structures
Proc. of the NATO Advanced Study Institute on Control flow and data flow: concepts of distributed programming
Model checking
A Calculus of Communicating Systems
A Calculus of Communicating Systems
DYANA: An Environment for Embedded System Design and Analysis
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
A certain freedom: thoughts on the CAP theorem
Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Scheduling algorithms for real-time computing systems admitting simulation models
Programming and Computing Software
Hi-index | 0.00 |
A mathematical model of the operation dynamics of distributed computing systems is presented. This model covers operation of both hardware and software components. The model provides a theoretical basis for performance, reliability, and consistency analysis, checking the correctness of operation, designing computing system architecture.