Process algebras are not very useful to me as a Software Engineer working in the interactive server side. They describe the systemic composition of interaction machines from the remote distance required for a mathematical view of computing. Unfortunately, current work in the field of Interaction Machine Theory seems to have gone back to the bad old days of new process algebras. Those funky little scripts that create oh so much prestige.
Illuminating the principles of Interaction Machines requires inspection of the idea, much more than constructions of the idea. Constructions prove and explore the models proposed for inspection. Inspection is the thing needed by the world.