| HAL-Inria | Publications, software ... of Inria's scientists |
Journal articles
A Criterion to Enforce Correctness of Indirectly Cooperating Applications
Abstract : Cooperative applications are expected to become commonplace in the future. We are concerned here with a special case of cooperation called "indirect cooperation". The idea of the paper is that a Concurrency Control approach better fits to indirect cooperation than a Concurrent Programming one. In other words, it does exist syntactic correctness criteria which defines a large sphere of security in which application programmers are released from the burden of interaction explicit programming. This paper arguments this point of view and describes such a criterion: the COO-Serializability. It applies for a class of applications which cooperate indirectly.
https://hal.inria.fr/inria-00098608
Contributor : Publications Loria <>
Submitted on : Monday, September 25, 2006 - 5:03:56 PM
Last modification on : Friday, April 26, 2019 - 11:20:03 PM
Contributor : Publications Loria <>
Submitted on : Monday, September 25, 2006 - 5:03:56 PM
Last modification on : Friday, April 26, 2019 - 11:20:03 PM
Links full text
