Symmetry and Anonymity in Shared Memory Concurrent Systems.
Michel RaynalGadi TaubenfeldPublished 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