True versus artificial concurrency
Some theoretical issues related to concurrent processed are discussed: formal description of concurrent systems, concurrent systems synchronization, refinement of systems, fairness assumption. These issues are considered on possibly high level of abstraction enabling their proper identification, formulation, and formalization. So-called prefix functions serve as a model of concurrent processes. The notion of prefix functions is a unifying concept for description purposes of a number of existing representations of concurrent processes based on finite set of atomic actions.
KeywordsConcurrency Processes partial order synchronization fairness refinement.
- Diekert, V., Rozenberg, G. (eds.) (1994) The book of traces. World Scientific, Singapore,New Jersey,London,I-long Kong.Google Scholar
- Mazurkiewicz, A. (1977) Concurrent Program Schemes and Their Interpretation. Technical Report DAIMI PB-78, Århns UniversityGoogle Scholar
- Mazurkiewicz, A. (1985) Semantics of Concurrent Systems: A Modular Fixed-Point Trace Approach. Lecture Notes in Computer Science, 188.Google Scholar
- Petri, C.A. (1977) Non-Sequential Processes. GMD Report ISF-77–05.Google Scholar
- Shields, M.W. (1979) Non-sequential behaviour, part I. Int. Report CSR-120–82, Dept. of Computer Science, University of Edinburgh.Google Scholar
- Winskel, G. (1988) An introduction to event structures. Lecture Notes in Computer Science, 354, 123–172Google Scholar