Alternating bit protocol

Known as: ABP 
Alternating bit protocol (ABP) is a simple network protocol operating at the data link layer that retransmits lost or corrupted messages. It can be… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
The InvA tool supports the deductive verification of safety properties of infinite-state concurrent systems. Given a concurrent… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2007
2007
  • Axel. Wabenhorst
  • 2007
In this paper, the theory of fair action systems is used in the speciication and development of the Alternating Bit Protocol. A… (More)
Is this relevant?
1998
1998
SDL is an industrial standard formal description technique for telecommunication systems. Despite its wide spread use and… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
A b s t r a c t . This paper concerns the transfer of files via a lossy communication channel. It formally specifies this file… (More)
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
1996
1996
  • Carlos Gregorio-Rodr Guez, Manuel N U~ Nez
  • 1996
In this paper we use a probabilistic-timed version of Lotos (PTLotos) for specifying and verifying the Alternating Bit Protocol… (More)
  • figure 5
  • figure 6
Is this relevant?
1995
1995
  • Eduardo Gim
  • 1995
We describe an experience concerning the implementation and use of co-inductive types in the proof editor Coq. Co-inductive types… (More)
Is this relevant?
1993
1993
We report on a formal veri cation of the Alternating Bit Protocol ABP in the Calculus of Constructions We outline a semi formal… (More)
Is this relevant?
Highly Cited
1992
Highly Cited
1992
A high-level, knowledge-based approach for deriving a family of protocols for the sequence transmission problem is presented. The… (More)
Is this relevant?
1989
1989
The Alternating-Bit protocol is a fundamental protocol for transmitting data across an unreliable transmission medium; however… (More)
  • figure 1
Is this relevant?
1981
1981
The Alternating Bit Protocol has been modeled via a straighforward application of the Gypsy methodology. A safety property was… (More)
Is this relevant?