Symmetry and Anonymity in Shared Memory Concurrent Systems.

Michel Raynal Gadi Taubenfeld

Published in: Bull. EATCS (2022)

Keyphrases

shared memory
concurrent systems
message passing
distributed systems
parallel algorithm
temporal logic
parallel computing

distributed memory
petri net
model checking
formal specification
multi processor
parallel machines

parallel programming
parallel computers
parallel architecture
parallel architectures
parallel execution
shared memory multiprocessors

multi core systems
open source
probabilistic model
high quality
interprocess communication
information systems