Abstract
Describes fundamentals of parallel programming and a kernel for
that. Describes methods for modelling and checking parallel
problems. Real time problems.
| Original language | English |
|---|
| Number of pages | 71 |
|---|---|
| Publication status | Published - 2000 |