Currently just outputting a string. It would be nice to have a proper structured json output. Do we want one generic structure with `PiParProc` etc. or a different output depending on the process calculus used?
Currently just outputting a string. It would be nice to have a proper structured json output.
Do we want one generic structure with
PiParProcetc. or a different output depending on the process calculus used?