A Linear Logic based Synchronization Rule for Deadlock Prevention in Web Service Composition

Vinícius Ferreira de Oliveira, Stéphane Julia, Lígia Maria Soares Passos, Kênia Santos de Oliveira. A Linear Logic based Synchronization Rule for Deadlock Prevention in Web Service Composition. In Slimane Hammoudi, Michal Smialek, Olivier Camp, Joaquim Filipe, editors, ICEIS 2017 - Proceedings of the 19th International Conference on Enterprise Information Systems, Volume 2, Porto, Portugal, April 26-29, 2017. pages 316-323, SciTePress, 2017. [doi]

@inproceedings{OliveiraJPO17,
  title = {A Linear Logic based Synchronization Rule for Deadlock Prevention in Web Service Composition},
  author = {Vinícius Ferreira de Oliveira and Stéphane Julia and Lígia Maria Soares Passos and Kênia Santos de Oliveira},
  year = {2017},
  doi = {10.5220/0006308303160323},
  url = {https://doi.org/10.5220/0006308303160323},
  researchr = {https://researchr.org/publication/OliveiraJPO17},
  cites = {0},
  citedby = {0},
  pages = {316-323},
  booktitle = {ICEIS 2017 - Proceedings of the 19th International Conference on Enterprise Information Systems, Volume 2, Porto, Portugal, April 26-29, 2017},
  editor = {Slimane Hammoudi and Michal Smialek and Olivier Camp and Joaquim Filipe},
  publisher = {SciTePress},
  isbn = {978-989-758-248-6},
}