Stem homeostasi$ (all stems)
2 papers:
SIGMOD-2015-0002KBDHKFG #coordination #program analysis #protocol #transaction- The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis (SR, LK, GB, BD, HH, CK, NF, JG), pp. 1311–1326.
DHM-2014-SinghWLMW #formal method- Formalizing the Glucose Homeostasis Mechanism (NKS, HW, ML, TSEM, AW), pp. 460–471.