Partial Correctness of Exits from Concurrent Structures

Sigurd Meldal. Partial Correctness of Exits from Concurrent Structures. BIT, 26(3):295-302, 1986.

Bibliographies