×

Behaviours of concurrent systems. (English) Zbl 0445.68044


MSC:

68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
93A10 General systems
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Hack, M., Petri net languages, (Computation Structures Group Memo 124 (1975), Project MAC, MIT: Project MAC, MIT Cambridge, MA)
[2] Holt, A.; Commoner, F., Events and conditions (1970), Applied Data Research: Applied Data Research New York
[3] Mazurkiewicz, A., Invariants of concurrent programs, (Gilchrist, B., Information Processing, 77 (1977), North-Holland: North-Holland Amsterdam), 353-372
[4] Mazurkiewicz, A., Concurrent program schemes and their interpretations, (DAIMI PB-78 (1977), Aarhus University: Aarhus University Denmark)
[5] Peterson, J. L., Petri nets, Comput. Surveys, 9, 3 (1977) · Zbl 0357.68067
[6] Petri, C. A., Interpretations of net theory (1975), ISF GMD: ISF GMD Bonn
[7] Petri, C. A., Non-sequential processes (1976), ISF GMD: ISF GMD Bonn
[8] Winkowski, J., An algebraic characterization of the behaviour of non-sequential systems, Information Processing Lett., 6, 4, 105-109 (1977) · Zbl 0374.94038
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.