Communication as fair distribution of knowledge

Jean-Marc Andreoli, Remo Pareschi
1991 Conference proceedings on Object-oriented programming systems, languages, and applications - OOPSLA '91  
Ve introduce an abstract form of interobject communication for object-oriented concurrent programming based on the proof theory of Linear Logic, a logic introduced to provide a theoretical basis for the study of concurrency. Such a form of communication, which we call forumbased communication, can be seen as a refinement of blackboard-based communication in terms of a more local notion of resource consumption. Forumbased communication is introduced as part of a new computational model for the
more » ... ject-oriented concurrent programming language LO, presented at last year OOPSLA/ECOOP (1990), which exploits the proof-theory of Linear Logic also to achieve a powerful form of knowledge-sharing. thermore, we shall characterize the relationship between such a novel form of communication and the well-established blackboard-based communication (see for instance [lo]): as it will be shown, forumbased communication can both be viewed as a logical version of blackboard-based communication and also as an operational refinement of it in the sense of being endowed with a more local notion of resource consumption (corresponding to the property of fairness of generic communication) which makes it fully adequate for distributed computing.
doi:10.1145/117954.117971 dblp:conf/oopsla/AndreoliP91 fatcat:bfep25zuarb2taulaxbp3tpbu4