Automated Conflict-free distributed implementation of component-based models

Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis. Automated Conflict-free distributed implementation of component-based models. In IEEE Fifth International Symposium on Industrial Embedded Systems - SIES 2010, University of Trento, Italy, July 7-9, 2010. pages 108-117, IEEE, 2010. [doi]

@inproceedings{BonakdarpourBJQS10,
  title = {Automated Conflict-free distributed implementation of component-based models},
  author = {Borzoo Bonakdarpour and Marius Bozga and Mohamad Jaber and Jean Quilbeuf and Joseph Sifakis},
  year = {2010},
  doi = {10.1109/SIES.2010.5551377},
  url = {http://dx.doi.org/10.1109/SIES.2010.5551377},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/BonakdarpourBJQS10},
  cites = {0},
  citedby = {0},
  pages = {108-117},
  booktitle = {IEEE Fifth International Symposium on Industrial Embedded Systems - SIES 2010,  University of Trento, Italy, July 7-9, 2010},
  publisher = {IEEE},
  isbn = {978-1-4244-5840-0},
}