Rely-Guarantee Bound Analysis of Parameterized Concurrent Shared-Memory Programs

Pani, Thomas; Weissenbacher, Georg; Zuleger, Florian

by Thomas Pani, Georg Weissenbacher, Florian Zuleger

Reference:

Rely-Guarantee Bound Analysis of Parameterized Concurrent Shared-Memory ProgramsThomas Pani, Georg Weissenbacher, Florian Zuleger, 2020.Note: under submission

Bibtex Entry:

@article{DBLP:journals/fmsd/PaniWZ20,
  author    = {Thomas Pani and
               Georg Weissenbacher and
               Florian Zuleger},
  title     = {Rely-Guarantee Bound Analysis of Parameterized Concurrent
               Shared-Memory Programs},
  year = {2020},
  note = {under submission},
  keywords = {"tmca"}
}