ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
alternating bit protocol
Recently Published Documents
TOTAL DOCUMENTS
18
(FIVE YEARS 0)
H-INDEX
5
(FIVE YEARS 0)
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
The Control Flow During Execution of the Alternating Bit Protocol Specified by the Cause-Effect Structure
Lecture Notes in Networks and Systems - Introduction to Distributed Computer Systems
◽
10.1007/978-3-319-72023-4_9
◽
2018
◽
pp. 227-239
Author(s):
Ludwik Czaja
Keyword(s):
Control Flow
◽
Alternating Bit Protocol
Download Full-text
Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool
Specification, Algebra, and Software - Lecture Notes in Computer Science
◽
10.1007/978-3-642-54624-2_30
◽
2014
◽
pp. 603-629
◽
Cited By ~ 2
Author(s):
Camilo Rocha
◽
José Meseguer
Keyword(s):
Mechanical Analysis
◽
Reliable Communication
◽
Alternating Bit Protocol
Download Full-text
Self-Stabilization of the Alternating-Bit Protocol
10.1109/eeis.1989.720145
◽
2005
◽
Cited By ~ 2
Author(s):
Y. Afek
◽
G.M. Brown
Keyword(s):
Alternating Bit Protocol
◽
Self Stabilization
Download Full-text
Modular Protocol Nets: The Alternating Bit Protocol Example
Proceedings of the Third International Conference on Computer Integrated Manufacturing,
◽
10.1109/cim.1992.638998
◽
2005
◽
Author(s):
K.J. Gildea
◽
M.S. Krishnamoorthy
Keyword(s):
Alternating Bit Protocol
Download Full-text
Specification and verification of the alternating bit protocol by temporal Petri nets
10.1109/mwscas.1989.101818
◽
2003
◽
Cited By ~ 2
Author(s):
I. Suzuki
Keyword(s):
Petri Nets
◽
Alternating Bit Protocol
◽
Specification And Verification
Download Full-text
Self-stabilization of the alternating-bit protocol
Proceedings of the Eighth Symposium on Reliable Distributed Systems
◽
10.1109/reldis.1989.72751
◽
2003
◽
Cited By ~ 12
Author(s):
Y. Afek
◽
G.M. Brown
Keyword(s):
Alternating Bit Protocol
◽
Self Stabilization
Download Full-text
A compositional comparison of specifications of the alternating bit protocol in CCS and UNITY based on algebra transformation systems
IFM’99
◽
10.1007/978-1-4471-0851-1_14
◽
1999
◽
pp. 253-272
◽
Cited By ~ 4
Author(s):
Martin Große-Rhode
Keyword(s):
Alternating Bit Protocol
◽
Transformation Systems
Download Full-text
The Alternating Bit Protocol
Monographs in Computer Science - On a Method of Multiprogramming
◽
10.1007/978-1-4757-3126-2_30
◽
1999
◽
pp. 333-345
Author(s):
W. H. J. Feijen
◽
A. J. M. van Gasteren
Keyword(s):
Alternating Bit Protocol
Download Full-text
An elementary derivation of the alternating bit protocol
Lecture Notes in Computer Science - Mathematics of Program Construction
◽
10.1007/bfb0054290
◽
1998
◽
pp. 175-187
◽
Cited By ~ 1
Author(s):
W. H. J. Feijen
◽
A. J. M. van Gasteren
◽
Birgit Schieder
Keyword(s):
Elementary Derivation
◽
Alternating Bit Protocol
Download Full-text
A Timed Rewriting Logic Semantics for SDL: A Case Study of the Alternating Bit Protocol
Electronic Notes in Theoretical Computer Science
◽
10.1016/s1571-0661(05)82554-x
◽
1998
◽
Vol 15
◽
pp. 83-104
◽
Cited By ~ 7
Author(s):
L.J. Steggles
◽
Piotr Kosiuczenko
Keyword(s):
Rewriting Logic
◽
Alternating Bit Protocol
Download Full-text
Load More ...
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close