@article{ITA_1986__20_2_103_0, author = {Aalbersberg, Ijsbrand Jan and Welzl, Emo}, title = {Trace languages defined by regular string languages}, journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications}, volume = {20}, year = {1986}, pages = {103-119}, mrnumber = {860763}, zbl = {0612.68071}, language = {en}, url = {http://dml.mathdoc.fr/item/ITA_1986__20_2_103_0} }
Aalbersberg, Ijsbrand Jan; Welzl, Emo. Trace languages defined by regular string languages. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 20 (1986) pp. 103-119. http://gdmltest.u-ga.fr/item/ITA_1986__20_2_103_0/
1. Traces - a Survey, Techn. Rep. 85-16, Inst. of Appl. Math. and Comput. Sc., Univ. of Leiden, Leiden, 1985.
and ,2. Traces, Dependency Graphs and DNLC Grammars, Discrete Appl. Math, Vol. 11, 1985, pp.299-306. | MR 792896 | Zbl 0601.68045
and ,3. An Application of the Theory of Free Partially Commutative Monoids : Asymptotic Densities of Trace Languages, Lecture Notes in Computer Science, Vol. 118, 1981, pp. 205-215. | Zbl 0468.68081
, , and ,4. A Hierarchy of Regular Trace Languages and Sorne Combinatorial Applications, Proc. 2nd.World Conf. on Math, at the Service of Men, Las Palmas, 1982, pp.146-153. | Zbl 0512.68056
, and ,5. Equivalence and Membership Problems for Regular Trace Languages, Lecture Notes in Computer Science, Vol. 140, 1982, pp. 61-71. | MR 675445 | Zbl 0486.68079
, and ,6. Unambiguous Regular Trace Languages, to appear in Algebra, Combinatorics and Logic in Comput. Sc. (to appear), Colloquia Math. Soc. J. Bolay. | MR 875858 | Zbl 0627.68060
, and ,7. Automates et Commutations Partielles, R.A.I.R.O., Inform. Théor., Vol. 19, 1985, pp. 21-32. | Numdam | MR 795769 | Zbl 0601.68055
and ,8. Matrices de Hankel, J. Math. Pures Appl., Vol. 53, 1974, pp. 197-222. | MR 364328 | Zbl 0315.94051
,8. The Mathematical Theory of Context Free Languages, Mc-Graw-Hill Book Company, New York, London, 1966. | MR 211815 | Zbl 0184.28401
,10. Introduction to automata theory, languages and computation, Addison -Wesley, Reading, Mass, 1979. | MR 645539 | Zbl 0426.68001
and ,11. Semigroups and combinatorial applications, J. Wiley and Sons, New York, 1979. | MR 530552 | Zbl 0421.20025
,12. Concurrent Program Schemes and Their Interpretations, DAIMI Rep. PB-78, Aarhus Univ., Aarhus, 1977.
,13. Traces, Histories, Graphs: Instances of a Process Monoid, Lecture Notes in Computer Science, Vol. 176, 1984, pp.115-133. | MR 783441 | Zbl 0577.68061
,14. Semantics of Concurrent Systems: a Modular Fixed-Point Trace Approach, Lecture Notes in Computer Science, Vol. 188, 1985, pp.353-375. | MR 807209 | Zbl 0576.68044
,15. On Regular Trace Languages, R.A.I.R.O., Inform. Théor. (to appear). | MR 918113
,16. Theory of automata, Pergamon Press, Oxford - New York, 1969. | MR 262021 | Zbl 0193.32901
,17. Formal languages, Academic Press, New York, 1973. | MR 438755 | Zbl 0262.68025
,18. A Classification and Closure Properties of Languages for Describing Concurrent System Behaviours, Fund. Inform., Vol. 4, 1981, pp. 531-549. | MR 678010 | Zbl 0486.68074
,19. Notes on the Implementability of Formal Languages by Concurrent Systems, ICS PAS Rep. 481, Inst. of Comput. Sc., Polish Acad. of Sc., Warshaw, 1982.
,