Revisionist simulations: a new approach to proving space lower bounds
From MaRDI portal
Publication:6583675
DOI10.1137/20m1322923MaRDI QIDQ6583675
Leqi Zhu, Faith Ellen, Rati Gelashvili
Publication date: 6 August 2024
Published in: SIAM Journal on Computing (Search for Journal in Brave)
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)
This page was built for publication: Revisionist simulations: a new approach to proving space lower bounds