3 ms·

Chu spaces can be used to formally model non-interweaving concurrency: https://citeseerx.ist.psu.edu/viewdoc/download%3Bjsessionid=9D343011ABF8A5F2F0EB8D8D7A0D6

by relyks 5y ago

Chu spaces can be used to formally model non-interweaving concurrency: https://citeseerx.ist.psu.edu/viewdoc/download%3Bjsessionid=9D343011ABF8A5F2F0EB8D8D7A0D63EC?doi=10.1.1.219.7529&rep=rep1&type=pdf https://citeseerx.ist.psu.edu/viewdoc/download%3Bjsessionid=... It’s useful in theoretical computer science

spekcular 5y ago
According to the blog post, Chu spaces can be used to model essentially anything! I want to know whether that modeling is actually useful. (Also, that link is broken for me.)