This note addresses the history of process algebra as an area of research in concurrency theory, the theory of parallel and distributed systems in computer science. Origins are traced back to the early seventies of the twentieth century, and developments since that time are sketched. The author gives his personal views on these matters. He also considers the present situation, and states some challenges for the future
Various process algebras have been introduced for reasoning about concurrent systems. Some of them i...
Process algebra provides abstract and rigorous means for studying communicating concurrent systems. ...
AbstractIn this article we review the current state of concurrency theory with respect to its indust...
This note addresses the history of process algebra as an area of research in concurrency theory, the...
AbstractThis note addresses the history of process algebra as an area of research in concurrency the...
This note addresses some aspects in the history of concurrency theory, the theory of parallel and d...
AbstractThis paper illustrates how early ideas and simple naive concepts of concurrency theory of th...
Algebraic Theory of Processes provides the first general and systematic introduction to the semantic...
Process algebra is a widely accepted and much used technique in the specification and verification o...
AbstractAfter 25 years of research (19 personally) into process algebras, I ask what areas of mathem...
Process algebra is a device for analysing sequential processes, and has been studied in Amsterdam si...
The very existence of the CONCUR conference bears witness to the fact that "concurrency theory ...
This paper aims to give a readable and reasonably accessible account of some ideas linking the curre...
Various process algebras have been introduced for reasoning about concurrent systems. Some of them i...
Process algebra provides abstract and rigorous means for studying communicating concurrent systems. ...
AbstractIn this article we review the current state of concurrency theory with respect to its indust...
This note addresses the history of process algebra as an area of research in concurrency theory, the...
AbstractThis note addresses the history of process algebra as an area of research in concurrency the...
This note addresses some aspects in the history of concurrency theory, the theory of parallel and d...
AbstractThis paper illustrates how early ideas and simple naive concepts of concurrency theory of th...
Algebraic Theory of Processes provides the first general and systematic introduction to the semantic...
Process algebra is a widely accepted and much used technique in the specification and verification o...
AbstractAfter 25 years of research (19 personally) into process algebras, I ask what areas of mathem...
Process algebra is a device for analysing sequential processes, and has been studied in Amsterdam si...
The very existence of the CONCUR conference bears witness to the fact that "concurrency theory ...
This paper aims to give a readable and reasonably accessible account of some ideas linking the curre...
Various process algebras have been introduced for reasoning about concurrent systems. Some of them i...
Process algebra provides abstract and rigorous means for studying communicating concurrent systems. ...
AbstractIn this article we review the current state of concurrency theory with respect to its indust...