An algebraic description of system behaviours. (English) Zbl 0493.68049


68Q99 Theory of computing
68N25 Theory of operating systems
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Full Text: DOI


[1] Best, E., The relative strength of \(K\)-density, (Lecture Notes in Computer Science, 84 (1980), Springer: Springer Berlin)
[2] Genrich, H. J.; Lautenbach, K.; Thiagarajan, P. S., Elements of general net theory, (Lecture Notes in Computer Science, 84 (1980), Springer: Springer Berlin) · Zbl 0441.68064
[3] Holt, A. W., Final report on the Project of Information System Theory, Applied Data Research ADR 606 and USAF-Rome Air Development Centre (1968), RADC-TR-68-305
[4] Korczyński, W., Aksjomatyczna charakteryzacja algebr procesów systemów współbieżnych, ICS PAS Report 400 (1980), a Ph.D. Thesis in Polish
[5] Marchut, Z., Algebraiczna metoda analizy przedsiȩwziȩć (1981), (An algebraic method of project evaluation—an unpublished Ph.D. Thesis in Polish)
[6] Mazurkiewicz, A., Concurrent program schemes and their interpretations, (DAIMI PB-78 (1977), Aarhus University)
[7] Petri, C. A., Non-sequential processes, Interner Bericht ISF-77-5, Gesellschaft für Mathematik und Datenverarbeitung (1977), 5205 St. Augustin, W. Germany
[8] Petri, C. A., Concurrency as basis of system thinking, (Proc. 5th Scandinavian Logic Symposium (1979), Aalborg Universitetsforlag) · Zbl 0434.68041
[9] Petri, C. A., Concurrency, (Lecture Notes in Computer Science, 84 (1980), Springer: Springer Berlin) · Zbl 0434.68041
[10] Winkowski, J., Behaviours of concurrent systems, Theoret. Comput. Sci., 12, 1, 39-60 (1980) · Zbl 0445.68044
[11] Winkowski, J., Protocols of accessing overlapping sets of resources, Information Processing Lett., 12, 5, 239-243 (1981)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.