News for hackers. Stuff that matters.

A comment on Why Concurrency Is Hard. Parent comment

Re:Why Concurrency Is Hard by MaxBarraclough on Tuesday November 10, 2020 @05:26AM (#25044407)
> formal specification

Do you mean a written spec, or a proper formal specification?

https://en.wikipedia.org/wiki/Formal_specification

[ Parent | on HN ]
Re:Why Concurrency Is Hard by xfer on Tuesday November 10, 2020 @08:15AM (#25045574)
For concurrency related specs i was alluding to spin/TLA+.
[ Parent | on HN ]
Re:Why Concurrency Is Hard by MaxBarraclough on Tuesday November 10, 2020 @08:37AM (#25045740)
Great, thanks for clarifying.
[ Parent | on HN ]