Add to ORKGSIGLEAvailable from TIB Hannover: RN 7878(9123) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekDEGerman
In the theory of computation, a model of computation is used to study issues related to computabilit...
We explore an algebraic language for networks consisting of a fixed number of reactive units, commun...
Algebraic Theory of Processes provides the first general and systematic introduction to the semantic...
AbstractThis note addresses the history of process algebra as an area of research in concurrency the...
Process algebra is a device for analysing sequential processes, and has been studied in Amsterdam si...
This note addresses the history of process algebra as an area of research in concurrency theory, the...
AbstractAfter 25 years of research (19 personally) into process algebras, I ask what areas of mathem...
AbstractParallel processes confront us with both, strict and non-strict situations. As long as no co...
Process algebra provides abstract and rigorous means for studying communicating concurrent systems. ...
Process algebra is a widely accepted and much used technique in the specification and verification o...
Presents a brief introduction to a process theory suitable for the specification of parallel or dist...
AbstractThis paper illustrates how early ideas and simple naive concepts of concurrency theory of th...
We propose a theoretical framework for the per-formance analysis and optimization of parallel pro-gr...
SIGLETechnische Informationsbibliothek Hannover: RN 3437 (76) / FIZ - Fachinformationszzentrum Karls...
SIGLEAvailable from British Library Document Supply Centre-DSC:DXN028526 / BLDSC - British Library D...
In the theory of computation, a model of computation is used to study issues related to computabilit...
We explore an algebraic language for networks consisting of a fixed number of reactive units, commun...
Algebraic Theory of Processes provides the first general and systematic introduction to the semantic...
AbstractThis note addresses the history of process algebra as an area of research in concurrency the...
Process algebra is a device for analysing sequential processes, and has been studied in Amsterdam si...
This note addresses the history of process algebra as an area of research in concurrency theory, the...
AbstractAfter 25 years of research (19 personally) into process algebras, I ask what areas of mathem...
AbstractParallel processes confront us with both, strict and non-strict situations. As long as no co...
Process algebra provides abstract and rigorous means for studying communicating concurrent systems. ...
Process algebra is a widely accepted and much used technique in the specification and verification o...
Presents a brief introduction to a process theory suitable for the specification of parallel or dist...
AbstractThis paper illustrates how early ideas and simple naive concepts of concurrency theory of th...
We propose a theoretical framework for the per-formance analysis and optimization of parallel pro-gr...
SIGLETechnische Informationsbibliothek Hannover: RN 3437 (76) / FIZ - Fachinformationszzentrum Karls...
SIGLEAvailable from British Library Document Supply Centre-DSC:DXN028526 / BLDSC - British Library D...
In the theory of computation, a model of computation is used to study issues related to computabilit...
We explore an algebraic language for networks consisting of a fixed number of reactive units, commun...
Algebraic Theory of Processes provides the first general and systematic introduction to the semantic...