Formal refinement for operating systems kernels. (Q5754574)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Formal refinement for operating systems kernels. |
scientific article; zbMATH DE number 5181823
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Formal refinement for operating systems kernels. |
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
0.8328352570533752
0 references
0.7267822623252869
0 references
