3 ms·
If you're interested in the mathematics underpinning parallel models of computing, and their relation to dependency graphs, I recommend looking at 'trace theory
by yaseer 8y ago
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 8y agoVolker Diekert, Yves Metivier, "Partial Commutation and Traces https://pdfs.semanticscholar.org/d67a/c4c1e5967f7e114f390245f28909f259c034.pdf https://pdfs.semanticscholar.org/d67a/c4c1e5967f7e114f390245...
- agumonkey 8y agoI 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 8y agoodd, 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.