Compositional Proof Systems for Model Checking Infinite State Processes.

Mads Dam

Browse the full CONCUR paper archive.