A generalization of traces
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications (1991)
- Volume: 25, Issue: 2, page 147-156
- ISSN: 0988-3754
Access Full Article
topHow to cite
topVogler, Walter. "A generalization of traces." RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications 25.2 (1991): 147-156. <http://eudml.org/doc/92386>.
@article{Vogler1991,
author = {Vogler, Walter},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications},
keywords = {dependence graph; concurrent system; Petri nets; Traces; distributed systems},
language = {eng},
number = {2},
pages = {147-156},
publisher = {EDP-Sciences},
title = {A generalization of traces},
url = {http://eudml.org/doc/92386},
volume = {25},
year = {1991},
}
TY - JOUR
AU - Vogler, Walter
TI - A generalization of traces
JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY - 1991
PB - EDP-Sciences
VL - 25
IS - 2
SP - 147
EP - 156
LA - eng
KW - dependence graph; concurrent system; Petri nets; Traces; distributed systems
UR - http://eudml.org/doc/92386
ER -
References
top- 1. I. J. AALBERSBERG and G. ROZENBERG, Theory of Traces, Theor. Comp. Sci., 1988, 60, pp. 1-82. Zbl0652.68017MR947532
- 2. E. BEST and C. LENGAUER, Semantic Independence, Sci. Comput. Prog., 1989, 13, pp. 23-50. Zbl0697.68021MR1049349
- 3. P. CARTIER and D. FOATA, Problèmes Combinatoires de Commutation et Réarrengements, Lect. Notes in Math., No. 85, Springer, 1969. Zbl0186.30101MR239978
- 4. M. CLERBOUT and M. LATTEUX, Partial Commutations and Faithful rational Transductions, Theor. Comp. Sci., 1985, 35, pp. 241-254. Zbl0548.68073MR773455
- 5. R. CORI and D. PERRIN, Automates et Commutations partielles, R.A.I.R.O. - Informatique théoriqueet Application, 1985, 19, pp. 21-32. Zbl0601.68055MR795769
- 6. G. LALLEMENT, Semigroups and Combinatorial Applications, John Wiley and Sons, New York, 1979. Zbl0421.20025MR530552
- 7. A. MAZURKIEWICZ, 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. Zbl0577.68061MR783441
- 8. A. MAZURKIEWICZ, 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. Zbl0633.68051MR902669
- 9. W. VOGLER, 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. J. WINKOWSKI, An Equivalence of Communicating Processes in Distributed Environments, Fundamenta Informaticae, 1989, XII, pp. 97-128. Zbl0674.68017MR998423
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.