Title :
A logical model of cooperation
Author_Institution :
LAAS, CNRS, Toulouse, France
Abstract :
This paper proposes a formal definition of the concept of cooperation in distributed systems. The proposed model is based on the use of Modal Logic. More precisely, cooperating activities are seen as activities that can be in different cooperating schemas and, as a consequence, follow different Modal logic systems: T, B, S4, S5. It is in particular shown how this model, using a four-valued logic, is able to express contradictions, because predicates can be both True and False in different domains (scopes) of cooperation
Keywords :
distributed processing; formal specification; many-valued logics; Modal Logic; cooperating activities; cooperation; distributed systems; formal definition; four-valued logic; logical model; Carbon capture and storage; Cooperative systems; Distributed computing; ISO; Logic; Petri nets; Proposals; Protocols; Safety;
Conference_Titel :
Distributed Computing Systems, 1992., Proceedings of the Third Workshop on Future Trends of
Conference_Location :
Taipei
Print_ISBN :
0-8186-2755-7
DOI :
10.1109/FTDCS.1992.217513
