An extension of the notions of traces and of asynchronous automata

A. Arnold

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications (1991)

  • Volume: 25, Issue: 4, page 355-393
  • ISSN: 0988-3754

How to cite

top

Arnold, A.. "An extension of the notions of traces and of asynchronous automata." RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications 25.4 (1991): 355-393. <http://eudml.org/doc/92397>.

@article{Arnold1991,
author = {Arnold, A.},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications},
keywords = {CCI-sets; trace; Zielonka's theorem},
language = {eng},
number = {4},
pages = {355-393},
publisher = {EDP-Sciences},
title = {An extension of the notions of traces and of asynchronous automata},
url = {http://eudml.org/doc/92397},
volume = {25},
year = {1991},
}

TY - JOUR
AU - Arnold, A.
TI - An extension of the notions of traces and of asynchronous automata
JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY - 1991
PB - EDP-Sciences
VL - 25
IS - 4
SP - 355
EP - 393
LA - eng
KW - CCI-sets; trace; Zielonka's theorem
UR - http://eudml.org/doc/92397
ER -

References

top
  1. 1. J. J. AALSBERG, G. ROZENBERG, Theory of traces. Technical Report 86-16, Institute of Applied Mathematics and Computer Science, University of Leiden, 1986. 
  2. 2. R. CORI, Y. MÉTIVIER, Approximation of a trace, asynchronous automata, and the ordering of events in a distributed system. In Lepistö and Salomaa, editors, 15th I.C.A.L.P., pp. 147-161, Lecture Notes Comput. Sci., 317, 1988. Zbl0656.68060MR1023633
  3. 3. R. CORI, D. PERRIN, Automates et commutations partielles, R.A.I.R.O. Inform. Théor. Appl., 1985,19, pp. 21-32. Zbl0601.68055MR795769
  4. 4. P. DEGANO, U. MONTANARI, Specification languages for distributed Systems. In H. EHRIG, C. FLOYD, M. NIVAT, J. THATCHER, Eds., Mathematical Foundations of Software Development (TAPSOFT'85), pp. 29-51, Lecture Notes Comput. Sci., 185, 1985. Zbl0563.68019MR818014
  5. 5. U. GOLTZ, W. REISIG, The non-sequential behaviour of Petri nets, Inform. and Control, 1983, 57, pp. 125-147. Zbl0551.68050MR742704
  6. 6. J. GRABOWSKI, On partial languages, Fundamenta Informaticae, 1981, IV, 2, pp. 427-498. Zbl0468.68088MR645249
  7. 7. A. MAZURKIEWICZ, Traces, histories, and graphs: Instances of process monoids, In M. CHYTIL, V. KOUBEK Eds., MFCS'84, pp. 115-133, Lecture Notes Comput. Sci., 176, 1984. Zbl0577.68061MR783441
  8. 8. A. MAZURKIEWICZ, Compositional semantics of pure place/transition systems, Fund. Inform., XI, 1988. Zbl0676.68030MR982497
  9. 9. A. MAZURKIEWICZ, Concurrency, modularity, and synchronization. In A. KRECZMAR, G. MIRKOWSKA Eds., MFCS'89, pp. 577-598, Lecture Notes Comput. Sci., 379, 1989. Zbl0755.68098MR1036835
  10. 10. Y. MÉTIVIER, Une condition suffisante de reconnaissabilité dans un monoïde partiellement commutatif. R.A.I.R.O. Inform. Théor.Appl., 1985, 19, pp. 121-127. Zbl0599.20107MR860764
  11. 11. M. NIELSEN, G. PLOTKIN, G. WINSKEL, Petri nets, event structures and domains, Theoret. Comput. Science, 1981, 13, pp. 85-108. Zbl0452.68067MR593865
  12. 12. E. OCHMANSKI, Regular behaviour of concurrent systems, Bulletin EATCS, 1985, 27, pp. 56-67. 
  13. 13. A. RABINOVICH, B. A. TRAKHTENBROT, Behavior structures and nets, Fund, Inform., XI, 1988, pp. 357-404. Zbl0657.68068MR982498
  14. 14. B. ROZOY, Un modèle de parallélisme : le monoïde distribué, Thèse d'État, Université de Caen, 1987. 
  15. 15. E. SZPILRAJN, Sur l'extension de l'ordre partiel, Fund. Math., 1930, 16, pp. 386-389. Zbl56.0843.02JFM56.0843.02
  16. 16. J. WINKOWSKI, Behaviours of concurrent Systems, Theoret. Comput. Sci., 1980, 12, pp. 39-60. Zbl0445.68044MR582241
  17. 17. J. WINKOWSKI, An algebraic description of System behaviours, Theoret. Comput. Sci., 1982, 21, pp. 315-340. Zbl0493.68049MR680920
  18. 18. W. ZIELONKA, Notes on finite asynchronous automata, R.A.I.R.O. Inform. Théor. Appl., 1987, 21, pp. 99-135. Zbl0623.68055MR894706

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.