Algebraic spans

DOI10.1145/224964.224975zbMath1374.68333OpenAlexW2296142355MaRDI 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

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Hundreds of impossibility results for distributed computing, A Sound Foundation for the Topological Approach to Task Solvability, Algebraic topology and concurrency, Simplicial models of trace spaces, A topological treatment of early-deciding set-agreement, A classification of wait-free loop agreement tasks