A framework for automated distributed implementation of component-based models

Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis. A framework for automated distributed implementation of component-based models. Distributed Computing, 25(5):383-409, 2012. [doi]

@article{BonakdarpourBJQS12,
  title = {A framework for automated distributed implementation of component-based models},
  author = {Borzoo Bonakdarpour and Marius Bozga and Mohamad Jaber and Jean Quilbeuf and Joseph Sifakis},
  year = {2012},
  doi = {10.1007/s00446-012-0168-6},
  url = {http://dx.doi.org/10.1007/s00446-012-0168-6},
  researchr = {https://researchr.org/publication/BonakdarpourBJQS12},
  cites = {0},
  citedby = {0},
  journal = {Distributed Computing},
  volume = {25},
  number = {5},
  pages = {383-409},
}