Rely-Guarantee Termination and Cost Analyses of Loops with Concurrent Interleavings

  1. Albert, E.
  2. Flores-Montoya, A.
  3. Genaim, S.
  4. Martin-Martin, E.
Revista:
Journal of Automated Reasoning

ISSN: 1573-0670,  0168-7433

Año de publicación: 2017

Volumen: 59

Número: 1

Páginas: 47-85

Tipo: Artículo

DOI: 10.1007/S10817-016-9400-6 GOOGLE SCHOLAR
Fuente de los datos: Scopus