The programming language C and the operating system UNIX

DOI10.1007/BF01086178MaRDI QIDQ1094863zbMATH OpenOpenAlexFDO

Authors A. N. Maslov

Publication date 1987

Published in Journal of Soviet Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01086178

zbMATH Keywords

programming language CUNIX

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of operating systems (68N25)

Review text

Translation from Itogi Nauki Tekh., Ser. Teor. Veroyatn., Mat. Stat., Teor. Kibern. 23, 118-151 (Russian) (1985; Zbl 0601.68009).

Cites work

• Concurrency Control and Consistency of Multiple Copies of Data in Distributed Ingres
• scientific article; zbMATH DE number 3869662 (Why is no real title available?)
• scientific article; zbMATH DE number 3928322 (Why is no real title available?)
• scientific article; zbMATH DE number 42907 (Why is no real title available?)
• scientific article; zbMATH DE number 46118 (Why is no real title available?)
• Specification and verification of the UCLA Unix security kernel
• Specification of the UNIX Filing System

Cited in

(1)

• scientific article; zbMATH DE number 1263451 (Why is no real title available?)

Describes a project that uses

Uses Software

• INGRES

This page was built for publication: The programming language C and the operating system UNIX

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1094863)