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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.