Safe executions of recognizable trace languages by asynchronous automata

  • Wiesław Zielonka
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 363)


Cellular Automaton Global State Finite Automaton Connection Pattern Deterministic Finite Automaton 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    R.Cori, Y.Metivier, Approximation of a trace, asynchronous automata and the ordering of events in a distributed system, 15 ICALP, LNCS 317,147–161. Springer Verlag, 1988Google Scholar
  2. [2]
    R. Cori, Y. Metivier, W. Zielonka, Applications of trace approximation to asynchronous automata and message passing with bounded time-stamps in asynchronous networks, in preparationGoogle Scholar
  3. [3]
    C. Duboc, Mixed product and asynchronous automata, Theor. Comp. Sci., 48 (1986),183–199Google Scholar
  4. [4]
    S. Eilenberg, Automata, Languages and Machines, vol. A, 1974, Academic PressGoogle Scholar
  5. [5]
    Amos Israeli, Ming Li, Bounded Time-Stamps, Proceedings of 28th Annual FOCS Symposium,1987,371–382Google Scholar
  6. [6]
    G. Lallement, Semigroups and Combinatorial Applications, 1979, J. Wiley and SonsGoogle Scholar
  7. [7]
    A. Mazurkiewicz, Concurrent Program Schemes and Their Interpretations, DAIMI-PB-78, Aarchus University, 1977Google Scholar
  8. [8]
    Y. Metivier, An algorithm for computing asynchronous automata in the case of acyclic non-commutation graphs, 14 ICALP, LNCS 267Google Scholar
  9. [9]
    E. Ochmanski, Regular Behaviour of Concurrent Schemes, EATCS Bulletin, vol. 27,1985,56–67Google Scholar
  10. [10]
    W. Zielonka, Notes on Finite Asynchronous Automata, RAIRO Inf. Theor. et Appl., 21 (2), 1987, 99–135Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • Wiesław Zielonka
    • 1
  1. 1.Institute of Computer SciencePolish Academy of SciencesWarsawPOLAND

Personalised recommendations