One thing that bothers me a little with the pi-calculus, is that unlike some abstract maths or theoretical CS, many researchers sell their results with potentia

One thing that bothers me a little with the pi-calculus, is that unlike some abstract maths or theoretical CS, many researchers sell their results with potential real-life application arguments. After several decades of the same papers studying very similar type systems and equivalence with no application, one can legitimately starts to wonder if this is worth the effort.