3 ms·
The linked Wikipedia article[1] on CSP says > communicating sequential processes (CSP) is a formal language for describing patterns of interaction in concurren
by jagged-chisel 7y ago
The linked Wikipedia article[1] on CSP says
> communicating sequential processes (CSP) is a formal language for describing patterns of interaction in concurrent systems
The Libcsp project says it’s influenced by CSP. Does libcsp stick to this formal language?
1 - https://en.wikipedia.org/wiki/Communicating_sequential_processes https://en.wikipedia.org/wiki/Communicating_sequential_proce...
- wnoise 7y agoOf course not. It implements much (not all!) of the available semantics of CSP, but does so embedded in the C language with function calls and macros. Though macros can do truly disturbing things in C, these are not enough to truly implement the syntax of CSP.