Associative Omega-products of Traces

• Autorzy: Redziejowski R. R.
• Języki publikacji: EN

Abstrakty

EN

The notion of associative infinite product is applied to traces, resulting in an alternative approach to introducing infinite traces. Four different versions of product are explored, two of them identical to known definitions of infinite trace.

Słowa kluczowe

EN

infinite series; associative algebras; infinite product

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2005
• Tom: Vol. 67, nr 1-3
• Strony: 175--185
• Opis fizyczny: Bibliogr. 13 poz.

Twórcy

autor

Redziejowski R. R.

• Giraf's Research,

Bibliografia

• [1] Abramsky, S., Jung, A.: Domain Theory, in: Handbook of Logic in Computer Science (S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, Eds.), vol. 3, Oxford University Press, 1994, 1–168.
• [2] Gastin, P.: Un modèle asynchrone pour les systèmes distribués, Technical Report 88-59, LITP, Université Paris 6, 1988.
• [3] Gastin, P.: Infinite Traces, in: Semantics of Systems of Concurrent Processes (I. Guessarian, Ed.), number 469 in Lecture Notes in Comp. Sci., Springer-Verlag, 1990, 277–308.
• [4] Gastin, P., Petit, A.: Infinite Traces, in: The Book of Traces (V. Diekert, G. Rozenberg, Eds.),World Scientific, 1995, 393–486.
• [5] Kwiatkowska,M. Z.: Fairness for non-interleaving concurrency (PhD Thesis), Technical Report 22, University of Leicester, Department of Computing Studies, 1989.
• [6] Kwiatkowska, M. Z.: On the domain of traces and sequential composition, in: TAPSOFT’91 (S. Abramsky, T. S. E. Maibaum, Eds.), number 493 in Lecture Notes in Comp. Sci., Springer-Verlag, 1991, 42–56.
• [7] Mazurkiewicz, A.: Concurrent program schemes and their interpretations, Technical Report DAIMI PB-78, Comp. Sci. Dep., °Arhus Universitet, 1977.
• [8] Mazurkiewicz, A.: Trace Theory, in: Petri Nets: Applications and Relationships to Other Models of Concurrency (W. Brauer,W. Reisig, G. Rozenberg, Eds.), number 255 in Lecture Notes in Comp. Sci., Springer-Verlag, 1987, 371–388.
• [9] Mazurkiewicz, A.: Introduction to Trace Theory, in: The Book of Traces (V. Diekert, G. Rozenberg, Eds.), World Scientific, 1995, 3–41.
• [10] Perrin, D., Pin, J.-E.: Mots infinis, Technical Report LITP Report 93.40, Institut Blaise Pascal, Université Paris VII, 1993.
• [11] Perrin, D., Pin, J.-E.: Infinite Words. Automata, Semigroups, Logic and Games, Number 141 in Pure and Applied Mathematics, Elsevier, 2004.
• [12] Redziejowski, R. R.: Adding an infinite product to a semigroup, in: Automata Theory: Infinite Computations (K. Compton, J.-E. Pin, W. Thomas, Eds.), number 28 in Dagstuhl Seminar Report, Internationales Begegungs- und Forschungszentrum f¨ur Informatik Schloss Dagstuhl, 1992, page 9.
• [13] Redziejowski, R. R.: On Associative Omega-Products, Fundamenta Informaticae, 60(1-4), 2004, 333–350