Algebraic spans
From MaRDI portal
Publication:5361442
DOI10.1145/224964.224975zbMath1374.68333MaRDI QIDQ5361442
Sergio Rajsbaum, Maurice P. Herlihy
Publication date: 29 September 2017
Published in: Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing - PODC '95 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/224964.224975
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Simplicial models of trace spaces, A topological treatment of early-deciding set-agreement, A classification of wait-free loop agreement tasks, Algebraic topology and concurrency