this is exactly the kind of thing I'm going for - effectively modelling the legal relationship between different areas of government and how they achieve intend

this is exactly the kind of thing I'm going for - effectively modelling the legal relationship between different areas of government and how they achieve intended goals / the permitted ways to achieve outcomes. I'll check out pi-calculus now.