From geometric semantics to asynchronous computability

DOI10.1007/978-3-662-48653-5_29zbMath1394.68038OpenAlexW2295063779MaRDI QIDQ1664156

Samuel Mimram, Christine Tasson, Eric Goubault

Publication date: 24 August 2018

Full work available at URL: https://doi.org/10.1007/978-3-662-48653-5_29

Mathematics Subject Classification ID

Distributed systems (68M14) Reliability, testing and fault tolerance of networks and computer systems (68M15) Network protocols (68M12)

This page was built for publication: From geometric semantics to asynchronous computability