Contribution: AxiomaticABP
Verification of an axiomatisation of the Alternating Bit Protocol
Authors
- Jan Friso Groote
Description
The Alternating Bit Protocol is expressed in an axiomatized calculi of process. Correctness is proven.
Keywords
alternating bit protocol, process calculi, reactive systems