×

On the construction of submodule specifications and communication protocols. (English) Zbl 0498.68009


MSC:

68N25 Theory of operating systems
PDFBibTeX XMLCite
Full Text: DOI