Title :
A New CSP Operator for Optional Parallelism
Author :
Gruner, Stefan ; Kourie, Derrick G. ; Roggenbach, Markus ; Strauss, Tinus ; Watson, Bruce W.
Author_Institution :
Swansea Univ., Swansea
Abstract :
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.
Keywords :
communicating sequential processes; computational linguistics; parallel processing; CSP operator semantics; communicating sequential processes; optional parallelism; partial parallelism; Africa; Algebra; Broadcasting; Computer science; Interleaved codes; Parallel processing; Software engineering; Wireless sensor networks;
Conference_Titel :
Computer Science and Software Engineering, 2008 International Conference on
Conference_Location :
Wuhan, Hubei
Print_ISBN :
978-0-7695-3336-0
DOI :
10.1109/CSSE.2008.1131
