Event-based proof of the mutual exclusion property of Peterson's algorithm (Q271900): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 68M14 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 68W15 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 03B35 / rank | |||
Normal rank | |||
| Property / zbMATH DE Number | |||
| Property / zbMATH DE Number: 6570928 / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
distributed system | |||
| Property / zbMATH Keywords: distributed system / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
parallel computing | |||
| Property / zbMATH Keywords: parallel computing / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
algorithm | |||
| Property / zbMATH Keywords: algorithm / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
verification | |||
| Property / zbMATH Keywords: verification / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
mathematical model | |||
| Property / zbMATH Keywords: mathematical model / rank | |||
Normal rank | |||
Revision as of 15:42, 27 June 2023
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Event-based proof of the mutual exclusion property of Peterson's algorithm |
scientific article |
Statements
Event-based proof of the mutual exclusion property of Peterson's algorithm (English)
0 references
20 April 2016
0 references
distributed system
0 references
parallel computing
0 references
algorithm
0 references
verification
0 references
mathematical model
0 references
