Langages persistants
Alaiwan, A.
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 18 (1984), p. 259-278 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1984-01-01
@article{ITA_1984__18_3_259_0,
     author = {Alaiwan, A.},
     title = {Langages persistants},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     volume = {18},
     year = {1984},
     pages = {259-278},
     mrnumber = {763670},
     zbl = {0541.68050},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/ITA_1984__18_3_259_0}
}

Alaiwan, A. Langages persistants. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 18 (1984) pp. 259-278. http://gdmltest.u-ga.fr/item/ITA_1984__18_3_259_0/

1. A. Arnold et M. Nivat, Comportements de processus, Rapport L.I.T.P. 82-12, février 1912.

2. S. Eilenberg, Automata, Languages and Machines, vol. A, Academic Press, 1974. | MR 530382 | Zbl 0317.94045

3. R. M. Karp et R. E. Miller, Parallel Program Schemata, J. Computer System Science, vol. 3, 1969, p. 147-195. | MR 246720 | Zbl 0198.32603

4. R. M. Keller, Vector Replacement Systems; a Formalism for Modeling Asynchronous Systems; technical Report 117, Pinceton Univ., 1972.

5. R. J. Lipton, R. E. Miller et L. Snyder, Synchronization and Computing Capabilities of Linear Asynchronous Structures, Proc. 16th Ann. Symp. on F.O.C.S., I.E.E.E. Computer Society, 1975, p. 19-22.

6. E. Mayr, Persistence of Vector Replacement Systems is Decidable, Acta Informatica, vol. 15, 1981, p. 309-318. | MR 625168 | Zbl 0454.68048

7. D. E. Muller et M. S. Bantky, A Theory of Asynchronous Circuits, Proc. Int. Symp. on Theory of Switching, Cambridge M. A. : Harvard, Univ. Press, 1959, p. 207-243. | MR 114698 | Zbl 0171.37902

8. B. Rosen, Tree Manipulating Systems and Church Rosser Theorems, J. Assoc. Comput. Mach., vol. 20, 1973, p. 160-187. | MR 331850 | Zbl 0267.68013

9. H. Yamasaki, On Weak Persistency of Petri Nets, Information Process Letters, vol. 3, n° 3, décembre 1981. | MR 645451 | Zbl 0473.68058