A new CSP operator for optional parallelism

Derrick Kourie

(University of Pretoria)

We introduce a new CSP operator for modeling scenarious characterized by partial or optional parallelism. We provide examples of such scenarios and sketch the semantics of our operator. Relevant properties are proven.
Thursday 27th March 2008, 14:00
Robert Recorde Room
Department of Computer Science