Static verification of concurrent system design
Elaborating a correct design of a concurrent system is extremely difficult. In part this is due to the infinite number of possible system runtime behaviors that result from the concurrent (or pseudo-concurrent) execution of interacting processes or threads. Data consistency, deadlock, starvation and...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | en |
| Published: |
McGill University
2008
|
| Subjects: | |
| Online Access: | http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=18732 |