Formalisms for interprocess communication

摘要

The literature is rich in examples of a variety of interprocess communication methods, some of which can be considered simple line control procedures (half duplex, full duplex, polled, etc.) and others which are more elaborate and deal with reordering, duplicate detection, stochastic delays, and so on.

rn

Among the most poorly worked out areas of interprocess communication is a formal representation which permits proofs to be made of correct behavior under all circumstances. Some necessary conditions for correct behavior have been proposed in the papers in this Proceedings.