Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

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_proce...



Of 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.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: