Add to ORKGPresents a brief introduction to a process theory suitable for the specification of parallel or distributed systems of computers and for the description of the semantics of a parallel programming language. Algebraic notation is used to explain parallel intercommunicating processes involving computer
A process language is presented which makes a clear distinction between temporal order and causal or...
SIGLEAvailable from TIB Hannover: RN 7878(9123) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - T...
Process algebra provides abstract and rigorous means for studying communicating concurrent systems. ...
Presents a brief introduction to a process theory suitable for the specification of parallel or dist...
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...
We propose a theoretical framework for the per-formance analysis and optimization of parallel pro-gr...
Process algebra is a device for analysing sequential processes, and has been studied in Amsterdam si...
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...
Traditional methods for programming sequential machines are inadequate for specifying parallel syste...
AbstractThis article presents an extension of the formalism of algebraic specifications to the speci...
Various languages and algebraic structures have been recently proposed for denoting parallel computa...
An extension of Milner's CCS is presented. The language takes into account a number of resourc...
A process language is presented which makes a clear distinction between temporal order and causal or...
SIGLEAvailable from TIB Hannover: RN 7878(9123) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - T...
Process algebra provides abstract and rigorous means for studying communicating concurrent systems. ...
Presents a brief introduction to a process theory suitable for the specification of parallel or dist...
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...
We propose a theoretical framework for the per-formance analysis and optimization of parallel pro-gr...
Process algebra is a device for analysing sequential processes, and has been studied in Amsterdam si...
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...
Traditional methods for programming sequential machines are inadequate for specifying parallel syste...
AbstractThis article presents an extension of the formalism of algebraic specifications to the speci...
Various languages and algebraic structures have been recently proposed for denoting parallel computa...
An extension of Milner's CCS is presented. The language takes into account a number of resourc...
A process language is presented which makes a clear distinction between temporal order and causal or...
SIGLEAvailable from TIB Hannover: RN 7878(9123) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - T...
Process algebra provides abstract and rigorous means for studying communicating concurrent systems. ...