Checking Presence Reachability Properties on Parameterized Shared-Memory Systems.

Nicolas Waldburger

Published in: CoRR (2023)

Keyphrases

shared memory
heterogeneous platforms
message passing
computer systems
parallel algorithm
parallel computing
multi processor
real time
pairwise