A New CSP Operator for Optional Parallelism

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.

• Type: Conference
• Year: 2008
• Where: CSSE
• Authors: Stefan Gruner, Derrick G. Kourie, Markus Roggenbach, Tinus Strauss, Bruce W. Watson
• Keywords: CSSE 2008, Optional Parallelism, Scenarios, Software Engineering