Behaviours of Concurrent Systems

Abstract Concurrent systems and their behaviours are investigated. The behaviour of a system is understood as the set of processes which the system is capable to realize. The processes may be elementary (indivisible) or may consist of some components. Two ways of composing processes are considered: sequentially (one component is a continuation of another) and in parallel (the components are concurrent, i.e. independent). The behaviour of a system is defined as a set of processes which can be obtained by composing certain elementary processes. All information on the existing independence is reflected so that the system is completely determined by its behaviour. It is explained which sets of processes are the behaviours of concurrent systems.