On interprocess communication

Courtois PJ, Heymans F, Parnas DL (1971) Concurrent control with “readers” and “writers”. Commun ACM 14:190–199

Lamport L (1977) Concurrent reading and writing. Commun ACM 20:806–811

Lamport L (1986) On interprocess communication. Part I: Basic formalism. Distributed Computing 1:77–85

Lamport L (1985) Interprocess Communication. SRI Tech Rep

Misra J (1986) Axioms for memory access in asynchronous hardware systems. ACM Trans Program Lang Syst 8:142–153

Peterson GL (1983) Concurrent reading while writing. ACM Trans Program Lang Syst 5:46–55