Queue based mutual exclusion with linearly bounded overtaking (Q532419): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 68Q60 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 68N30 / rank | |||
Normal rank | |||
| Property / zbMATH DE Number | |||
| Property / zbMATH DE Number: 5883968 / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
mutual exclusion | |||
| Property / zbMATH Keywords: mutual exclusion / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
refinement | |||
| Property / zbMATH Keywords: refinement / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
shared memory | |||
| Property / zbMATH Keywords: shared memory / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
bounded overtaking | |||
| Property / zbMATH Keywords: bounded overtaking / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
verification | |||
| Property / zbMATH Keywords: verification / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
distributed computing | |||
| Property / zbMATH Keywords: distributed computing / rank | |||
Normal rank | |||
Revision as of 08:10, 1 July 2023
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Queue based mutual exclusion with linearly bounded overtaking |
scientific article |
Statements
Queue based mutual exclusion with linearly bounded overtaking (English)
0 references
4 May 2011
0 references
mutual exclusion
0 references
refinement
0 references
shared memory
0 references
bounded overtaking
0 references
verification
0 references
distributed computing
0 references
