Modelling mutual exclusion in a process algebra with time-outs (Q6053409)
From MaRDI portal
scientific article; zbMATH DE number 7742410
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Modelling mutual exclusion in a process algebra with time-outs |
scientific article; zbMATH DE number 7742410 |
Statements
Modelling mutual exclusion in a process algebra with time-outs (English)
0 references
27 September 2023
0 references
mutual exclusion
0 references
safe registers
0 references
overlapping reads and writes
0 references
atomicity
0 references
speed independence
0 references
reactive temporal logic
0 references
Kripke structures
0 references
progress
0 references
justness
0 references
fairness
0 references
safety properties
0 references
blocking
0 references
fair schedulers
0 references
process algebra
0 references
CCS
0 references
time-outs
0 references
labelled transition systems
0 references
Petri nets
0 references
asymmetric concurrency relations
0 references
Peterson's protocol
0 references
0 references
