Verifying Temporal Properties of Processes.

Julian C. Bradfield, Colin Stirling

Browse the full CONCUR paper archive.