A Criterion to Enforce Correctness of Indirectly Cooperating Applications

Gérôme Canals, Claude Godart, Pascal Molli, Manuel Munier. A Criterion to Enforce Correctness of Indirectly Cooperating Applications. Inf. Sci., 110(3-4):279-302, 1998.

@article{CanalsGMM98,
  title = {A Criterion to Enforce Correctness of Indirectly Cooperating Applications},
  author = {Gérôme Canals and Claude Godart and Pascal Molli and Manuel Munier},
  year = {1998},
  tags = {Pascal},
  researchr = {https://researchr.org/publication/CanalsGMM98},
  cites = {0},
  citedby = {0},
  journal = {Inf. Sci.},
  volume = {110},
  number = {3-4},
  pages = {279-302},
}