• DocumentCode
    1955283
  • 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
  • Volume
    2
  • fYear
    2008
  • fDate
    12-14 Dec. 2008
  • Firstpage
    788
  • Lastpage
    791
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer Science and Software Engineering, 2008 International Conference on
  • Conference_Location
    Wuhan, Hubei
  • Print_ISBN
    978-0-7695-3336-0
  • Type

    conf

  • DOI
    10.1109/CSSE.2008.1131
  • Filename
    4722167
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1955283