An algebra of concurrent non-deterministic processes

AbstractThis paper illustrates how early ideas and simple naive concepts of concurrency theory of the 1960s have now turned into complex and subtle problems of modern calculi of concurrent processes. An algebra of finite processes AFP1 is discussed as an example of research which incorporates various aspects of typical process calculi: axiomatization of the proposed algebra, adequate description of “true concurrency” semantics for processes, compositionality and full abstractness in the algebra, handling exceptional situations, etc