×

zbMATH — the first resource for mathematics

How to make a microprocessor computer that correctly executes multiprocess programs. (English) Zbl 0419.68045

MSC:
68N25 Theory of operating systems
68N99 Theory of software
PDF BibTeX XML Cite
Full Text: DOI