Browsing Engineering, Built Environment and Information Technology by Author "Steyn, Theunis J."

Browsing Engineering, Built Environment and Information Technology by Author "Steyn, Theunis J."

Sort by: Order: Results:

  • Semantics of an optional parallel operator for CSP 
    Steyn, Theunis J. (University of Pretoria, 2015)
    Communicating Sequential Processes (CSP) is arguably one of the most widely used process algebras. It has been extensively studied and expanded since its inception in the late 1970s. One of the fundamental assumptions ...