Monoids and Differential Dataflow

Re:Monoids and Differential Dataflow by yaseer on Sunday March 10, 2019 @05:23AM (#19351143)

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.

[ Parent | on HN ]

Re:Monoids and Differential Dataflow by crb002 on Sunday March 10, 2019 @05:31AM (#19351165)

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

[ Parent | on HN ]

Re:Monoids and Differential Dataflow by agumonkey on Sunday March 10, 2019 @04:42PM (#19354338)

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.

[ Parent | on HN ]

Re:Monoids and Differential Dataflow by agumonkey on Sunday March 10, 2019 @04:41PM (#19354325)

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.

[ Parent | on HN ]