Currently procs only support demonic choice and coprocs angelic choice, since procs get translated to Emin in JANI and coprocs to Emax. This means there is no possibility to get an upper bound on an infimum or a lower bound on a supremum. Adding support for both angelic and demoic non-determinism independ of proc and coproc would make sense.
Currently procs only support demonic choice and coprocs angelic choice, since procs get translated to Emin in JANI and coprocs to Emax. This means there is no possibility to get an upper bound on an infimum or a lower bound on a supremum. Adding support for both angelic and demoic non-determinism independ of proc and coproc would make sense.