An introduction to compositional proof methods for the state-based verification of con-current programmes, and to non-compositional methods, the presentation of... » 

An introduction to compositional proof methods for the state-based verification of con-current programmes, and to non-compositional methods, the presentation of which culminates in an exposition of the communication-closed-layers paradigm for verifying network protocols. «