A Complete Axiomatic Semantics for the CSP Stable-Failures Model.

Yoshinao Isobe, Markus Roggenbach

Browse the full CONCUR paper archive.