• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Rely-guarantee bound analysis of parameterized concurrent shared-memory programs.

Thomas PaniGeorg WeissenbacherFlorian Zuleger
Published in: Formal Methods Syst. Des. (2021)
Keyphrases
  • shared memory
  • upper bound
  • parallel algorithm
  • message passing
  • three dimensional
  • fault tolerant
  • massively parallel
  • parallel computation