A Criterion to Enforce Correctness of Indirectly Cooperating Applications

@article{Canals1998ACT,
  title={A Criterion to Enforce Correctness of Indirectly Cooperating Applications},
  author={G{\'e}r{\^o}me Canals and Claude Godart and Pascal Molli and Manuel Munier},
  journal={Inf. Sci.},
  year={1998},
  volume={110},
  pages={279-302}
}
Cooperative applications are expected to become commonplace in the future We are concerned here with a special case of cooperation called in direct cooperation The idea of the paper is that a Concurrency Control approach better ts to in direct cooperation than a Concurrent Programming one In other words it does exist syntactic correct ness criteria which de nes a large sphere of secu rity in which application programmers are released from the burden of interaction explicit program ming This… CONTINUE READING
BETA