No label defined (Q5754574)
From MaRDI portal
scientific article; zbMATH DE number 5181823
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 5181823 |
Statements
23 August 2007
0 references
refinement
0 references
operating system kernel
0 references
Z schema
0 references
process table
0 references
process queue
0 references
priority queue
0 references
scheduler
0 references
semaphore
0 references
message
0 references
user interface
0 references
separation kernel
0 references
storage
0 references
