Semi-commutations and partial commutations
Clerbout, M. ; Roos, Y. ; Ryl, I.
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 34 (2000), p. 307-330 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 2000-01-01
@article{ITA_2000__34_4_307_0,
     author = {Clerbout, M. and Roos, Y. and Ryl, I.},
     title = {Semi-commutations and partial commutations},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     volume = {34},
     year = {2000},
     pages = {307-330},
     mrnumber = {1809863},
     zbl = {0970.68087},
     language = {en},
     url = {http://dml.mathdoc.fr/item/ITA_2000__34_4_307_0}
}

Clerbout, M.; Roos, Y.; Ryl, I. Semi-commutations and partial commutations. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 34 (2000) pp. 307-330. http://gdmltest.u-ga.fr/item/ITA_2000__34_4_307_0/

[1] A. Arnold, An extension of the notions of traces and of asynchronous automata. Theoret. Informatics Appl. 25 (1991), 355-393. | Numdam | MR 1134387 | Zbl 0765.68153

[2] M. Clerbout, Commutations Partielles et Familles de Langages. Ph. D. Thesis, Université des Sciences et Technologies de Lille (1984).

[3] M. Clerbout and D. Gonzalez, Atomic semi-commutations. Theoret. Comput. Sci. 123 (1994) 259-272. | MR 1256201 | Zbl 0801.68143

[4] M. Clerbout and M. Latteux, Partial commutations and faithful rational transductions. Theoret Comput. Sci. 34 (1984) 241-254. | MR 773455 | Zbl 0548.68073

[5] M. Clerbout and M. Latteux, Semi-commutations, Inform. and Comput. 73 (1987) 59-74. | Zbl 0629.68078

[6] M. Clerbout, M. Latteux, Y. Roos and W. Zielonka, Semi-commutations and rational expressions, in Proc. 19th International Colloquium on Automata Languages and Programrning (ICALP'92), edited by W. Kuich. Springer, Lecture Notes in Comput. Sel 623 (1992) 113-125. | MR 1250634

[7] V. Diekert and G. Rozenberg, The Book of Traces. World Scientific, Singapore (1995). | MR 1478992

[8] C. C. Elgot and J. E. Mezei, On relations defined by generalized finite automata. IBM J. Res. Develop. 9 (1965) 47-68. | MR 216903 | Zbl 0135.00704

[9] S. Ginsburg and S. A. Greibach Principal AFL. J. Comput System Sci. 4 (1970) 308-338. | MR 286599 | Zbl 0198.03102

[10] S. Ginsburg, The Mathemetical Theory of Context-Free Languages. McGraw-Hill (1966). | MR 211815 | Zbl 0184.28401

[11] J. F. Husson, Modélisation de la Causalité par des Relations d'Indépendance. Ph. D. Thesis, Université Paul Sabatier, Toulouse (1996).

[12] M. Latteux, Cônes rationnels commutativement clos. Theoret. Informatics Appl. 11 (1977) 29-51. | Numdam | MR 478782 | Zbl 0354.68103

[13] A. Mazurkiewicz, Concurrent program schemes and their interpretations. DAIMI Rep. PB 78, Aarhus University (1977).

[14] Y. Métivier, Une condition suffisante de reconnaissabilité dans un monoïde partiellement commutatif. Theoret. Informatics Appl. 20 (1986) 121-127. | Numdam | MR 860764 | Zbl 0599.20107

[15] E. Ochmański, Regular behaviour of concurrent Systems. Bull. EUT. ASSOC. Theoret. Comput. Sci. EATCS 27 (1985) 56-67.

[16] E. Ochmański and P. A. Wacrenier, On regular compatibility of semi-commutations, in Proc. 20th International Colloquium on Automata, Languages and Programming (ICALP'93), edited by A. Lingas, R. Karlsson and S. Carlsson. Springer, Lecture Notes in Comput. Sci. 700 (1993) 445-456. | MR 1252425

[17] W. Zielonka, Notes on finite asynchronous automata. Theoret. Informatics Appl. 21 (1987) 99-135. | Numdam | MR 894706 | Zbl 0623.68055