Add to ORKGProcess algebra is a device for analysing sequential processes, and has been studied in Amsterdam since 1982. Terminology used is summarised as rules similar to the commutative, associative, distributive and other functions of normal algebra. An example quoted relates to a relay race. This leads on to the concepts of `alternating bit protocol' and `fair abstraction rule
This note addresses the history of process algebra as an area of research in concurrency theory, the...
Process algebra is a widely accepted and much used technique in the specification and verification o...
Process algebra is a widely accepted and much used technique in the specification and verification o...
Process algebra is a device for analysing sequential processes, and has been studied in Amsterdam si...
Process algebra is a device for analysing sequential processes, and has been studied in Amsterdam si...
Process algebra is a device for analysing sequential processes, and has been studied in Amsterdam si...
Abstract. This note addresses the history of process algebra as an area of research in concurrency t...
Abstract. This note addresses the history of process algebra as an area of research in concurrency ...
Abstract. This note addresses the history of process algebra as an area of research in concurrency t...
AbstractThis note addresses the history of process algebra as an area of research in concurrency the...
This note addresses the history of process algebra as an area of research in concurrency theory, the...
This note addresses the history of process algebra as an area of research in concurrency theory, the...
This note addresses the history of process algebra as an area of research in concurrency theory, the...
This note addresses the history of process algebra as an area of research in concurrency theory, the...
This note addresses the history of process algebra as an area of research in concurrency theory, the...
This note addresses the history of process algebra as an area of research in concurrency theory, the...
Process algebra is a widely accepted and much used technique in the specification and verification o...
Process algebra is a widely accepted and much used technique in the specification and verification o...
Process algebra is a device for analysing sequential processes, and has been studied in Amsterdam si...
Process algebra is a device for analysing sequential processes, and has been studied in Amsterdam si...
Process algebra is a device for analysing sequential processes, and has been studied in Amsterdam si...
Abstract. This note addresses the history of process algebra as an area of research in concurrency t...
Abstract. This note addresses the history of process algebra as an area of research in concurrency ...
Abstract. This note addresses the history of process algebra as an area of research in concurrency t...
AbstractThis note addresses the history of process algebra as an area of research in concurrency the...
This note addresses the history of process algebra as an area of research in concurrency theory, the...
This note addresses the history of process algebra as an area of research in concurrency theory, the...
This note addresses the history of process algebra as an area of research in concurrency theory, the...
This note addresses the history of process algebra as an area of research in concurrency theory, the...
This note addresses the history of process algebra as an area of research in concurrency theory, the...
This note addresses the history of process algebra as an area of research in concurrency theory, the...
Process algebra is a widely accepted and much used technique in the specification and verification o...
Process algebra is a widely accepted and much used technique in the specification and verification o...