AbstractAfter 25 years of research (19 personally) into process algebras, I ask what areas of mathematics other than the analysis of concurrent computation could or indeed should its basic approach be applied? In particular, I identify the two areas of reductionism and model comprehension, upon which I believe that process algebra has the potential to have a major impact
Process algebra is a device for analysing sequential processes, and has been studied in Amsterdam si...
Algebraic Theory of Processes provides the first general and systematic introduction to the semantic...
AbstractRecent approaches to the combination of process algebras and temporal logic have shown that ...
AbstractAfter 25 years of research (19 personally) into process algebras, I ask what areas of mathem...
Abstract. This note addresses the history of process algebra as an area of research in concurrency ...
AbstractThis note addresses the history of process algebra as an area of research in concurrency the...
AbstractThe strong intellectual investment behind the definition of process algebras and the high ab...
Every day we witness the fast development of the hardware and software technology. This, of course, ...
AbstractProcess theory started in the 1970's with an emphasis on giving an algebraic treatment of it...
Process theory started in the 1970's with an emphasis on giving an algebraic treatment of its fundam...
AbstractThis paper illustrates how early ideas and simple naive concepts of concurrency theory of th...
Process algebra is a device for analysing sequential processes, and has been studied in Amsterdam si...
Algebraic Theory of Processes provides the first general and systematic introduction to the semantic...
AbstractRecent approaches to the combination of process algebras and temporal logic have shown that ...
AbstractAfter 25 years of research (19 personally) into process algebras, I ask what areas of mathem...
Abstract. This note addresses the history of process algebra as an area of research in concurrency ...
AbstractThis note addresses the history of process algebra as an area of research in concurrency the...
AbstractThe strong intellectual investment behind the definition of process algebras and the high ab...
Every day we witness the fast development of the hardware and software technology. This, of course, ...
AbstractProcess theory started in the 1970's with an emphasis on giving an algebraic treatment of it...
Process theory started in the 1970's with an emphasis on giving an algebraic treatment of its fundam...
AbstractThis paper illustrates how early ideas and simple naive concepts of concurrency theory of th...
Process algebra is a device for analysing sequential processes, and has been studied in Amsterdam si...
Algebraic Theory of Processes provides the first general and systematic introduction to the semantic...
AbstractRecent approaches to the combination of process algebras and temporal logic have shown that ...
DOI
Add to ORKG