@article{ITA_1991__25_4_355_0,
author = {Arnold, A.},
title = {An extension of the notions of traces and of asynchronous automata},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
pages = {355--393},
year = {1991},
publisher = {EDP Sciences},
volume = {25},
number = {4},
mrnumber = {1134387},
zbl = {0765.68153},
language = {en},
url = {https://www.numdam.org/item/ITA_1991__25_4_355_0/}
}
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 SP - 355 EP - 393 VL - 25 IS - 4 PB - EDP Sciences UR - https://www.numdam.org/item/ITA_1991__25_4_355_0/ LA - en ID - ITA_1991__25_4_355_0 ER -
%0 Journal Article %A Arnold, A. %T An extension of the notions of traces and of asynchronous automata %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 1991 %P 355-393 %V 25 %N 4 %I EDP Sciences %U https://www.numdam.org/item/ITA_1991__25_4_355_0/ %G en %F ITA_1991__25_4_355_0
Arnold, A. An extension of the notions of traces and of asynchronous automata. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 25 (1991) no. 4, pp. 355-393. https://www.numdam.org/item/ITA_1991__25_4_355_0/
1. , , Theory of traces. Technical Report 86-16, Institute of Applied Mathematics and Computer Science, University of Leiden, 1986.
2. , , 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. | Zbl | MR
3. , , Automates et commutations partielles, R.A.I.R.O. Inform. Théor. Appl., 1985,19, pp. 21-32. | Zbl | MR | Numdam
4. , , 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. | Zbl | MR
5. , , The non-sequential behaviour of Petri nets, Inform. and Control, 1983, 57, pp. 125-147. | Zbl | MR
6. , On partial languages, Fundamenta Informaticae, 1981, IV, 2, pp. 427-498. | Zbl | MR
7. , 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. | Zbl | MR
8. , Compositional semantics of pure place/transition systems, Fund. Inform., XI, 1988. | MR
9. , Concurrency, modularity, and synchronization. In A. KRECZMAR, G. MIRKOWSKA Eds., MFCS'89, pp. 577-598, Lecture Notes Comput. Sci., 379, 1989. | Zbl | MR
10. , 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. | Zbl | MR | Numdam
11. , , , Petri nets, event structures and domains, Theoret. Comput. Science, 1981, 13, pp. 85-108. | Zbl | MR
12. , Regular behaviour of concurrent systems, Bulletin EATCS, 1985, 27, pp. 56-67.
13. , , Behavior structures and nets, Fund, Inform., XI, 1988, pp. 357-404. | Zbl | MR
14. , Un modèle de parallélisme : le monoïde distribué, Thèse d'État, Université de Caen, 1987.
15. , Sur l'extension de l'ordre partiel, Fund. Math., 1930, 16, pp. 386-389. | JFM
16. , Behaviours of concurrent Systems, Theoret. Comput. Sci., 1980, 12, pp. 39-60. | Zbl | MR
17. , An algebraic description of System behaviours, Theoret. Comput. Sci., 1982, 21, pp. 315-340. | Zbl | MR
18. , Notes on finite asynchronous automata, R.A.I.R.O. Inform. Théor. Appl., 1987, 21, pp. 99-135. | Zbl | MR | Numdam





