Marc Shapiro

From MaRDI portal
Person:2828281

Available identifiers

zbMath Open shapiro.marcMaRDI QIDQ2828281

List of research outcomes





PublicationDate of PublicationType
Proving the Safety of Highly-Available Distributed Objects2022-10-13Paper
Co-Design and Verification of an Available File System2020-07-07Paper
Robust, distributed references and acyclic garbage collection2017-08-21Paper
'Cause I'm strong enough: reasoning about consistency choices in distributed systems2016-10-24Paper
https://portal.mardi4nfdi.de/entity/Q49041062013-01-28Paper
Principles of Distributed Systems2005-12-15Paper
https://portal.mardi4nfdi.de/entity/Q44134262003-07-17Paper
https://portal.mardi4nfdi.de/entity/Q48023242003-04-13Paper

Research outcomes over time

This page was built for person: Marc Shapiro

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2828281&oldid=7086022"
Powered by MediaWiki