The formalization and analysis of CCR protocol and service.

Bairong Zhang, Alistair Munro, Michael Barton

Browse the full FORTE paper archive.