Global conflict resolution in automated service-based -protocol synthesis

Monika Kapus-Kolar. Global conflict resolution in automated service-based -protocol synthesis. South African Computer Journal, 27:34-48, 2001.

@article{Kapus-Kolar01,
  title = {Global conflict resolution in automated service-based -protocol synthesis},
  author = {Monika Kapus-Kolar},
  year = {2001},
  tags = {rule-based, protocol},
  researchr = {https://researchr.org/publication/Kapus-Kolar01},
  cites = {0},
  citedby = {0},
  journal = {South African Computer Journal},
  volume = {27},
  pages = {34-48},
}