Latteux, Michel Synchronisation de processus. (French) Zbl 0433.68021 RAIRO, Inf. 14, 103-135 (1980). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page MSC: 68N25 Theory of operating systems Keywords:specifications; synchronization problems; semaphores; conditional critical regions; monitors; control modules; generalized dining philosophers’ problem PDF BibTeX XML Cite \textit{M. Latteux}, RAIRO, Inf. 14, 103--135 (1980; Zbl 0433.68021) OpenURL