Login / Signup
Rely-guarantee bound analysis of parameterized concurrent shared-memory programs.
Thomas Pani
Georg Weissenbacher
Florian 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