1 paper · 1 filter
Cameron Calk, Emmanuel Godard
We introduce a new topological encoding of executions of round-based, full-information distributed protocols via spectral spaces. Such protocols constitute a model of distributed c…