@article{ITA_1991__25_2_147_0,
author = {Vogler, Walter},
title = {A generalization of traces},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
pages = {147--156},
year = {1991},
publisher = {EDP Sciences},
volume = {25},
number = {2},
mrnumber = {1110981},
zbl = {0731.68083},
language = {en},
url = {https://www.numdam.org/item/ITA_1991__25_2_147_0/}
}
TY - JOUR AU - Vogler, Walter TI - A generalization of traces JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 1991 SP - 147 EP - 156 VL - 25 IS - 2 PB - EDP Sciences UR - https://www.numdam.org/item/ITA_1991__25_2_147_0/ LA - en ID - ITA_1991__25_2_147_0 ER -
Vogler, Walter. A generalization of traces. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 25 (1991) no. 2, pp. 147-156. https://www.numdam.org/item/ITA_1991__25_2_147_0/
1. and , Theory of Traces, Theor. Comp. Sci., 1988, 60, pp. 1-82. | Zbl | MR
2. and , Semantic Independence, Sci. Comput. Prog., 1989, 13, pp. 23-50. | Zbl | MR
3. and , Problèmes Combinatoires de Commutation et Réarrengements, Lect. Notes in Math., No. 85, Springer, 1969. | Zbl | MR
4. and , Partial Commutations and Faithful rational Transductions, Theor. Comp. Sci., 1985, 35, pp. 241-254. | Zbl | MR
5. and , Automates et Commutations partielles, R.A.I.R.O. - Informatique théoriqueet Application, 1985, 19, pp. 21-32. | Zbl | MR | Numdam
6. , Semigroups and Combinatorial Applications, John Wiley and Sons, New York, 1979. | Zbl | MR
7. , Traces, Histories, Graphs: Instances of a Process Monoid, in M. P. CHYTIL et. al. Ed., Proceeding of the 11th Symposium on Mathematical Foundations of Computer Science (MFCS); Lect. Notes Comp. Sci., 1984, 176, pp. 115-133. | Zbl | MR
8. , Trace Theory, in W. BRAUER et. al. Ed., Petri Nets: Applications and Relationships to other Models of Concurrency; Lect. Notes Comp. Sci., 1987, 255, pp. 279-324. | Zbl | MR
9. , Executions of Petri Nets, in Proc. of 8th European Workshop on Application and Theory of Petri Nets, Zaragoza, 1987, pp. 551-564. Also in: Tech. report TUM-I8806, Techn. Univ. München, 1988.
10. , An Equivalence of Communicating Processes in Distributed Environments, Fundamenta Informaticae, 1989, XII, pp. 97-128. | Zbl | MR





