I am learning TLA+ but I do not know CSP, is CSP better? | Hacker News

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

azaras 43 days ago | parent | context | favorite | on: The internet discovers TLA+. Now what?

I am learning TLA+ but I do not know CSP, is CSP better?

otterley 43 days ago [–]

They’re completely unrelated. The GP was making a joke.

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