Compatibility of Linda-based Component Interfaces

摘要: Abstract Linda is a coordination language, originally presented as set of inter-agent communication primitives which can virtually be added to any programming language. In this paper, we analyse the use specify interactive behaviour software components. We first introduce process algebra for and define notion compatibility that ensures safe composition particular, prove implies successful computation. also argue features some advantages with respect similar proposals in context dynamic checking. perspective, propose an alternative definition takes into account state global store, gives relevant information about current execution system.