@article{ITA_1984__18_3_259_0, author = {Alaiwan, A.}, title = {Langages persistants}, journal = {RAIRO. Informatique th\'eorique}, pages = {259--278}, publisher = {EDP-Sciences}, volume = {18}, number = {3}, year = {1984}, mrnumber = {763670}, zbl = {0541.68050}, language = {fr}, url = {http://archive.numdam.org/item/ITA_1984__18_3_259_0/} }
Alaiwan, A. Langages persistants. RAIRO. Informatique théorique, Tome 18 (1984) no. 3, pp. 259-278. http://archive.numdam.org/item/ITA_1984__18_3_259_0/
1. Comportements de processus, Rapport L.I.T.P. 82-12, février 1912.
et ,2. Automata, Languages and Machines, vol. A, Academic Press, 1974. | MR | Zbl
,3. Parallel Program Schemata, J. Computer System Science, vol. 3, 1969, p. 147-195. | MR | Zbl
et ,4. Vector Replacement Systems; a Formalism for Modeling Asynchronous Systems; technical Report 117, Pinceton Univ., 1972.
,5. 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.
, et ,6. Persistence of Vector Replacement Systems is Decidable, Acta Informatica, vol. 15, 1981, p. 309-318. | MR | Zbl
,7. A Theory of Asynchronous Circuits, Proc. Int. Symp. on Theory of Switching, Cambridge M. A. : Harvard, Univ. Press, 1959, p. 207-243. | MR | Zbl
et ,8. Tree Manipulating Systems and Church Rosser Theorems, J. Assoc. Comput. Mach., vol. 20, 1973, p. 160-187. | MR | Zbl
,9. On Weak Persistency of Petri Nets, Information Process Letters, vol. 3, n° 3, décembre 1981. | MR | Zbl
,