Sciweavers

Share
CSSE
2008
IEEE

A New CSP Operator for Optional Parallelism

9 years 6 months ago
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.
Stefan Gruner, Derrick G. Kourie, Markus Roggenbac
Added 29 May 2010
Updated 29 May 2010
Type Conference
Year 2008
Where CSSE
Authors Stefan Gruner, Derrick G. Kourie, Markus Roggenbach, Tinus Strauss, Bruce W. Watson
Comments (0)
books