@inbook{dilorenzo-2019-txforest, title={TxForest: A DSL for Concurrent Filestores}, ISBN={9783030341756}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-030-34175-6_17}, DOI={10.1007/978-3-030-34175-6_17}, booktitle={Programming Languages and Systems}, publisher={Springer International Publishing}, author={DiLorenzo, Jonathan and Mancini, Katie and Fisher, Kathleen and Foster, Nate}, year={2019}, pages={332–354} }