Powiadomienia systemowe
- Sesja wygasła!
- Sesja wygasła!
Tytuł artykułu
Autorzy
Wybrane pełne teksty z tego czasopisma
Identyfikatory
Warianty tytułu
Języki publikacji
Abstrakty
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
Wydawca
Czasopismo
Rocznik
Tom
Strony
175--185
Opis fizyczny
Bibliogr. 13 poz.
Twórcy
autor
- Giraf's Research, roman.redz@swipnet.se
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
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BUS2-0008-0020