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}, }