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

Any de publicació: 2017

Volum: 59

Número: 1

Pàgines: 47-85

Tipus: Article

DOI: 10.1007/S10817-016-9400-6 GOOGLE SCHOLAR
Font de les dades: Scopus