If you're interested in the mathematics underpinning parallel models of computin... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

yaseer on March 10, 2019 | parent | context | favorite | on: Monoids and Differential Dataflow

If you're interested in the mathematics underpinning parallel models of computing, and their relation to dependency graphs, I recommend looking at 'trace theory'. It's built on the abstract algebra of trace monoids.

Trace theory seems to have fallen out of academic fashion. I have a feeling it may have a resurgence of interest in coming decades, as it is useful for analysing concurrent systems.

crb002 on March 10, 2019 | [–]

Volker Diekert, Yves Metivier, "Partial Commutation and Traces https://pdfs.semanticscholar.org/d67a/c4c1e5967f7e114f390245...

agumonkey on March 10, 2019 | | [–]

I think I recall LaBRI being fond of infinite trees for logic programming too. I like trees. I never saw the paper you linked so thanks a lot.

agumonkey on March 10, 2019 | [–]

odd, college computing branch director mentioned that a few times but it was never the subject of a class or even a chapter. Thanks for the hint.

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