Rely-Guarantee Termination and Cost Analyses of Loops with Concurrent Interleavings
- Albert, E.
- Flores-Montoya, A.
- Genaim, S.
- Martin-Martin, E.
ISSN: 1573-0670, 0168-7433
Ano de publicación: 2017
Volume: 59
Número: 1
Páxinas: 47-85
Tipo: Artigo
ISSN: 1573-0670, 0168-7433
Ano de publicación: 2017
Volume: 59
Número: 1
Páxinas: 47-85
Tipo: Artigo