Lindsey Kuper

Diagramas de Separação Causal facilitam a compreensão das relações causais em sistemas concorrentes.

Explorando programação coreográfica com efeitos algébricos pra melhorar o desenvolvimento de aplicações distribuídas.