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.
Zeitschrift:
Journal of Automated Reasoning

ISSN: 1573-0670,  0168-7433

Datum der Publikation: 2017

Ausgabe: 59

Nummer: 1

Seiten: 47-85

Art: Artikel

DOI: 10.1007/S10817-016-9400-6 GOOGLE SCHOLAR
Datenquelle: Scopus