-
1
-
-
0020735797
-
On communicating finite-state machines
-
D. BRAND and P. ZAFIROPULO, On communicating finite-state machines, Journal of the ACM, 1983, 30 (2), pp. 323-342.
-
(1983)
Journal of the ACM
, vol.30
, Issue.2
, pp. 323-342
-
-
Brand, D.1
Zafiropulo, P.2
-
2
-
-
0342497268
-
Analyse du fonctionnement d'un type d'algorithmes distribués
-
A. BUI, Analyse du fonctionnement d'un type d'algorithmes distribués, Rev. R. de Math. Pures et Appl., 1995, 40 (7-8), pp. 583-593.
-
(1995)
Rev. R. de Math. Pures et Appl.
, vol.40
, Issue.7-8
, pp. 583-593
-
-
Bui, A.1
-
4
-
-
0342931468
-
Tuning distributed control algorithms for optimal functioning
-
M. BUI, Tuning Distributed Control Algorithms for Optimal Functioning, J. of Global Optimization, 1992, 2, pp. 177-199.
-
(1992)
J. of Global Optimization
, vol.2
, pp. 177-199
-
-
Bui, M.1
-
5
-
-
0343802495
-
Résolution du Problème de Multi-Rendez-Vous à l'aide d'un modèle d'algorithme distribué
-
M. BUI, Résolution du Problème de Multi-Rendez-Vous à l'aide d'un modèle d'algorithme distribué, RAIRO, 1993, 27 (2), pp. 249-264.
-
(1993)
RAIRO
, vol.27
, Issue.2
, pp. 249-264
-
-
Bui, M.1
-
6
-
-
0025432490
-
A communicating finite automata approach to modeling distributed computation and its application to distributed decision making
-
T. L. CASAVANT and J. G. KUHL, A communicating finite automata approach to modeling distributed computation and its application to distributed decision making, IEEE Trans. on Computers, 1990, 39 (5), pp. 628-639.
-
(1990)
IEEE Trans. on Computers
, vol.39
, Issue.5
, pp. 628-639
-
-
Casavant, T.L.1
Kuhl, J.G.2
-
8
-
-
0343366772
-
On distributed languages and models for distributed computation
-
University Paris-11
-
B. ROZOY, On distributed languages and models for distributed computation, Res. Rept. No. 563, University Paris-11, 1990.
-
(1990)
Res. Rept. No. 563
-
-
Rozoy, B.1
-
9
-
-
84976705196
-
The drinking philosophers problem
-
K. M. CHANDRY and J. MISRA, The Drinking Philosophers Problem, ACM TOPLAS, 1984, 6 (4), pp. 632-646.
-
(1984)
ACM TOPLAS
, vol.6
, Issue.4
, pp. 632-646
-
-
Chandry, K.M.1
Misra, J.2
-
10
-
-
0342931423
-
An virtual ring algorithm for the distributed implementation of multi-rendez-vous
-
Université de Montréal
-
G. GAO and G. V. BOCHMANN, An Virtual Ring Algorithm for the Distributed Implementation of Multi-Rendez-Vous, Tech. Rept. No. 675, Dpt IRO, Université de Montréal, 1990.
-
(1990)
Tech. Rept. No. 675, Dpt IRO
-
-
Gao, G.1
Bochmann, G.V.2
-
11
-
-
0343802448
-
An optimal distributed solution to the dining philosophers
-
Waystate University, Detroit, Michigan
-
S. P. RANA and D. K. BANERJI, An optimal distributed solution to the dining philosophers, Res. Rept., Waystate University, Detroit, Michigan, 1987.
-
(1987)
Res. Rept.
-
-
Rana, S.P.1
Banerji, D.K.2
-
13
-
-
0017518725
-
A correctness proof of a topology information maintenance protocol for a distributed computer network
-
W. D. TAJIBNAPIS A Correctness Proof of a Topology Information Maintenance Protocol for a Distributed Computer Network, Communications of the ACM, 1977, 20 (7), pp. 477-485.
-
(1977)
Communications of the ACM
, vol.20
, Issue.7
, pp. 477-485
-
-
Tajibnapis, W.D.1
|