A New CSP Operator for Optional Parallelism
Stefan Grüner, Derrick G. Kourie, Markus Roggenbach, Tinus Strauss, Bruce W. Watson · 2008
We introduce a new CSP operator for modeling scenarios characterised by partial or optional parallelism. We provide examples of such scenarios and sketch the semantics of our operator. Relevant properties are proven.