Merlin, Philip; Bochmann, Gregor V. On the construction of submodule specifications and communication protocols. (English) Zbl 0498.68009 ACM Trans. Program. Lang. Syst. 5, 1-25 (1983). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 10 Documents MSC: 68N25 Theory of operating systems Keywords:operating systems; distributed system design; module decomposition; stepwise refinement PDFBibTeX XMLCite \textit{P. Merlin} and \textit{G. V. Bochmann}, ACM Trans. Program. Lang. Syst. 5, 1--25 (1983; Zbl 0498.68009) Full Text: DOI