Verification of an axiomatisation of the Alternating Bit Protocol

Authors:

Description:

The Alternating Bit Protocol is expressed in an axiomatized calculi of process. Correctness is proven.

Keywords:

Source files:

• AxiomaticABP.abp_base
• AxiomaticABP.abp_lem25
• AxiomaticABP.abp_lem3
• AxiomaticABP.abp_proc
• AxiomaticABP.abp_lem2
• AxiomaticABP.abp_lem1
• AxiomaticABP.abp_defs