Abstract

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. 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.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call