Many computerised systems require the implementation of parallel processes to improve their performance (super-computers),to take account of non-deterministic environments (real-time systems),or to cater for geographical separation of resources (distributed systems).However,parallelism increases system complexity and thus makes it more difficult to guarantee correct behaviour.
展开▼
