@misc{indiciaeeae050ad5c8c,
  title = {A Calculus of Consistent Component-based Software Updates},
  author = {Xiaohui Xu and Linpeng Huang and Dejun Wang and Junqing Chen},
  year = {2010},
  url = {https://arxiv.org/abs/1011.6496},
  note = {Source identifier: 1011.6496}
}