A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Communication as fair distribution of knowledge
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
doi:10.1145/117954.117971
dblp:conf/oopsla/AndreoliP91
fatcat:bfep25zuarb2taulaxbp3tpbu4