@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},
pages = {103--119},
year = {1986},
publisher = {AFCET - Gauthier-Villars},
address = {Paris},
volume = {20},
number = {2},
mrnumber = {860763},
zbl = {0612.68071},
language = {en},
url = {https://www.numdam.org/item/ITA_1986__20_2_103_0/}
}
TY - JOUR AU - Aalbersberg, Ijsbrand Jan AU - Welzl, Emo TI - Trace languages defined by regular string languages JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 1986 SP - 103 EP - 119 VL - 20 IS - 2 PB - AFCET - Gauthier-Villars PP - Paris UR - https://www.numdam.org/item/ITA_1986__20_2_103_0/ LA - en ID - ITA_1986__20_2_103_0 ER -
%0 Journal Article %A Aalbersberg, Ijsbrand Jan %A Welzl, Emo %T Trace languages defined by regular string languages %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 1986 %P 103-119 %V 20 %N 2 %I AFCET - Gauthier-Villars %C Paris %U https://www.numdam.org/item/ITA_1986__20_2_103_0/ %G en %F 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) no. 2, pp. 103-119. https://www.numdam.org/item/ITA_1986__20_2_103_0/
1. and , Traces - a Survey, Techn. Rep. 85-16, Inst. of Appl. Math. and Comput. Sc., Univ. of Leiden, Leiden, 1985.
2. and , Traces, Dependency Graphs and DNLC Grammars, Discrete Appl. Math, Vol. 11, 1985, pp.299-306. | Zbl | MR
3. , , and , 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
4. , and , 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
5. , and , Equivalence and Membership Problems for Regular Trace Languages, Lecture Notes in Computer Science, Vol. 140, 1982, pp. 61-71. | Zbl | MR
6. , and , Unambiguous Regular Trace Languages, to appear in Algebra, Combinatorics and Logic in Comput. Sc. (to appear), Colloquia Math. Soc. J. Bolay. | Zbl | MR
7. and , Automates et Commutations Partielles, R.A.I.R.O., Inform. Théor., Vol. 19, 1985, pp. 21-32. | Zbl | MR | Numdam
8. , Matrices de Hankel, J. Math. Pures Appl., Vol. 53, 1974, pp. 197-222. | Zbl | MR
8. , The Mathematical Theory of Context Free Languages, Mc-Graw-Hill Book Company, New York, London, 1966. | Zbl | MR
10. and , Introduction to automata theory, languages and computation, Addison -Wesley, Reading, Mass, 1979. | Zbl | MR
11. , Semigroups and combinatorial applications, J. Wiley and Sons, New York, 1979. | Zbl | MR
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. | Zbl | MR
14. , Semantics of Concurrent Systems: a Modular Fixed-Point Trace Approach, Lecture Notes in Computer Science, Vol. 188, 1985, pp.353-375. | Zbl | MR
15. , On Regular Trace Languages, R.A.I.R.O., Inform. Théor. (to appear). | MR
16. , Theory of automata, Pergamon Press, Oxford - New York, 1969. | Zbl | MR
17. , Formal languages, Academic Press, New York, 1973. | Zbl | MR
18. , A Classification and Closure Properties of Languages for Describing Concurrent System Behaviours, Fund. Inform., Vol. 4, 1981, pp. 531-549. | Zbl | MR
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.






