Answers are grounded in this paper and cite their sources.
In this paper a new technique to handle complex Markov models is presented. This method is based on a description using stochastic automatas and is dedicated to distributed algorithms modelling. One example of a mutual exclusion algorithm in a distributed environment is extensively analysed. The mathematical analysis is based on tensor algebra for matrices.
No takes yet. Share an insight, caveat, or question.
Brigitte Plateau (1985) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: