|
|
|
|
|
|
by nstj
3313 days ago
|
|
|
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. |
|
|