News for hackers. Stuff that matters.

A comment on An Introduction to Temporal Logic (With Applications to Concurrency Problems). Parent comment

Re:An Introduction to Temporal Logic (With Applications to C... by actionfromafar on Wednesday January 24, 2024 @08:58AM (#39117397)
It feels great knowing someone is thinking of me.
[ Parent | on HN ]
Re:An Introduction to Temporal Logic (With Applications to C... by sylware on Wednesday January 24, 2024 @10:30AM (#39118482)
trap
[ Parent | on HN ]