Examines the progress properties of concurrent objects. The book formulates each progress property in terms of contextual refinement so that, when verifying clients of the objects, concrete object implementations can be replaced with their abstractions with certainty, achieving modular verification.
Ik heb een vraag over het boek: ‘Progress of Concurrent Objects - Liang, Hongjin, Feng, Xinyu’.
Vul het onderstaande formulier in.
We zullen zo spoedig mogelijk antwoorden.
