No label defined (Q3668862)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
1983
0 references
temporal logic
0 references
modalities
0 references
multiprocessing
0 references
parallel computation
0 references
programming logics
0 references
parallel algorithms
0 references
modal logic
0 references
synchronous fixed connection multiprocess networks
0 references
multiprocessor networks
0 references
parallel programs
0 references
correctness
0 references
routing algorithms on shuffle exchange networks
0 references
algorithms for the firing squad problem on a linear array
0 references
systolic algorithms on VLSI arrays
0 references
distributed systems
0 references
