Safety of Parametrized Asynchronous Shared-Memory Systems is Almost Always Decidable.

Salvatore La Torre Anca Muscholl Igor Walukiewicz

Published in: CONCUR (2015)

Keyphrases

shared memory
message passing
parallel architectures
parallel computing
parallel algorithm
distributed systems
distributed memory
probabilistic model
massively parallel
parallel computers
address space