Gardarin, G. Allocation de ressources simultanement partageables avec rĂ©solution du verrou mortel. (French) Zbl 0358.68093 RAIRO, Inf. 11, 107-125 (1977). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page MSC: 68Q45 Formal languages and automata 68N01 General topics in the theory of software PDFBibTeX XMLCite \textit{G. Gardarin}, RAIRO, Inf. 11, 107--125 (1977; Zbl 0358.68093)