On the stochastic structure of parallelism and synchronization models for distributed algorithms-Reference-Cited by-同舟云学术

On the stochastic structure of parallelism and synchronization models for distributed algorithms

Published:1985-08 Issue:2 Volume:13 Page:147-154
ISSN:0163-5999
Container-title:ACM SIGMETRICS Performance Evaluation Review
language:en
Short-container-title:SIGMETRICS Perform. Eval. Rev.

Author:

Plateau Brigitte¹

Affiliation:

1. ISEM, Université de Paris-Sud, 91405 Orsay, FRANCE

Abstract

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.

Publisher

Association for Computing Machinery (ACM)

Subject

Computer Networks and Communications,Hardware and Architecture,Software

Link

https://dl.acm.org/doi/pdf/10.1145/317786.317819

Reference11 articles.

1. Kronecker products and shuffle algebra

2. A. Chesnais E. Gelenbe l.Mitrani "On the modelling of parallel access to shared data" Commgnications of the ACM Mars 83 Vo/. ~6 no 3. 10.1145/358061.358073 A. Chesnais E. Gelenbe l.Mitrani "On the modelling of parallel access to shared data" Commgnications of the ACM Mars 83 Vo/. ~6 no 3. 10.1145/358061.358073

3. Control policies in CSMA local area networks

4. G.Harrus: "Evaluation de problemes de communteat/ores dans los systemes repartis" These de troisieme cycle Juillet 84 Universite de Paris-Sud. G.Harrus: "Evaluation de problemes de communteat/ores dans los systemes repartis" These de troisieme cycle Juillet 84 Universite de Paris-Sud.

5. N.Mazars : "De l'Independance and des depcndances stochastiques en thdorte de la fiabillte " These de troiaie cycle. Universite Past Sabatier Toulose June 81. N.Mazars : "De l'Independance and des depcndances stochastiques en thdorte de la fiabillte " These de troiaie cycle. Universite Past Sabatier Toulose June 81.

Cited by 90 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Accessible Pattern Analyses in Kappa Models;Symbolic Approaches to Modeling and Analysis of Biological Systems;2023-08-04

2. Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach;Logical Methods in Computer Science;2023-04-25

3. Markov field models: Scaling molecular kinetics approaches to large molecular machines;Current Opinion in Structural Biology;2022-12

4. Dynamic Fault Trees with Correlated Failure Times - Modeling and Efficient Analysis -;2022 41st International Symposium on Reliable Distributed Systems (SRDS);2022-09

5. Utilising Kronecker Algebra to Detect Unexpected Behaviour in Distributed Systems;2022 IEEE 25th International Symposium On Real-Time Distributed Computing (ISORC);2022-05-17