Consistent Correlations for Parameterised Boolean Equation Systems with Applications in Correctness Proofs for Manipulations.

Tim A. C. Willemse

Browse the full CONCUR paper archive.