A relaxation of Üresin and Dubois' asynchronous fixed-point theory in Agda (Q2209538)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A relaxation of Üresin and Dubois' asynchronous fixed-point theory in Agda |
scientific article |
Statements
A relaxation of Üresin and Dubois' asynchronous fixed-point theory in Agda (English)
0 references
2 November 2020
0 references
asynchronous algorithms
0 references
iterative algorithms
0 references
formalisation
0 references
Agda
0 references
0 references
