-
A refusal is a subset of the events/actions that a process can partake
of, that at some particular time we wish to exclude.
-
For instance, if a process specification says that it must have
at most 5 more things input than output, then while there are
5 things ;SPM_quot;buffered;SPM_quot;, we refuse input events.