×

Higher-order communications for concurrent programming. (English) Zbl 0581.68023

The authors present an approach for the evaluation of recursive equations programs using communicating agents. The basic idea was first introduced by the authors’: Complete Modal Theories for verifying communicating agents behaviour in recursive equations programs, CSR-128-83, Comput. Sci. Dept., Edinburgh Univ. Scotland (1983).
They consider communications which are ”higher order”, that is, they consist in passing ”behaviours”, rather than values only. Those behaviours are essentially computations, and their knowledge makes agents to improve their efficiency. The executions of the resulting programs have high performances, and the proofs of their correctness use those communications as powerful lemmas.

MSC:

68N25 Theory of operating systems
68N01 General topics in the theory of software
PDFBibTeX XMLCite
Full Text: DOI