Article ID Journal Published Year Pages File Type
422974 Electronic Notes in Theoretical Computer Science 2006 4 Pages PDF
Abstract

After 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.

Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics