@misc{indiciae1bbd4107760a,
  title = {A Formal Approach to the Engineering of Domain-Specific Distributed Systems},
  author = {Rocco De Nicola and Gianluigi Ferrari and Rosario Pugliese and Francesco Tiezzi},
  year = {2019},
  doi = {10.1016/j.jlamp.2019.100511},
  url = {https://arxiv.org/abs/1912.01289},
  note = {Source identifier: 1912.01289}
}