@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}, publisher = {EDP-Sciences}, volume = {25}, number = {2}, year = {1991}, mrnumber = {1110981}, zbl = {0731.68083}, language = {en}, url = {http://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 - http://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. http://www.numdam.org/item/ITA_1991__25_2_147_0/
1. Theory of Traces, Theor. Comp. Sci., 1988, 60, pp. 1-82. | MR | Zbl
and ,2. Semantic Independence, Sci. Comput. Prog., 1989, 13, pp. 23-50. | MR | Zbl
and ,3. Problèmes Combinatoires de Commutation et Réarrengements, Lect. Notes in Math., No. 85, Springer, 1969. | MR | Zbl
and ,4. Partial Commutations and Faithful rational Transductions, Theor. Comp. Sci., 1985, 35, pp. 241-254. | MR | Zbl
and ,5. Automates et Commutations partielles, R.A.I.R.O. - Informatique théoriqueet Application, 1985, 19, pp. 21-32. | Numdam | MR | Zbl
and ,6. Semigroups and Combinatorial Applications, John Wiley and Sons, New York, 1979. | MR | Zbl
,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. | MR | Zbl
,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. | MR | Zbl
,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. | MR | Zbl
,