Process Algebra as Modelling
Chris Tofts · Electronic Notes in Theoretical Computer Science · 2006
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.