alternating bit protocol Latest Research Papers

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

alternating bit protocol
Recently Published Documents

TOTAL DOCUMENTS

H-INDEX

The Control Flow During Execution of the Alternating Bit Protocol Specified by the Cause-Effect Structure

Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool

Self-Stabilization of the Alternating-Bit Protocol

Modular Protocol Nets: The Alternating Bit Protocol Example

Specification and verification of the alternating bit protocol by temporal Petri nets

Self-stabilization of the alternating-bit protocol

A compositional comparison of specifications of the alternating bit protocol in CCS and UNITY based on algebra transformation systems

The Alternating Bit Protocol

An elementary derivation of the alternating bit protocol

A Timed Rewriting Logic Semantics for SDL: A Case Study of the Alternating Bit Protocol

Export Citation Format

alternating bit protocolRecently Published Documents

TOTAL DOCUMENTS

H-INDEX

The Control Flow During Execution of the Alternating Bit Protocol Specified by the Cause-Effect Structure

Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool

Self-Stabilization of the Alternating-Bit Protocol

Modular Protocol Nets: The Alternating Bit Protocol Example

Specification and verification of the alternating bit protocol by temporal Petri nets

Self-stabilization of the alternating-bit protocol

A compositional comparison of specifications of the alternating bit protocol in CCS and UNITY based on algebra transformation systems

The Alternating Bit Protocol

An elementary derivation of the alternating bit protocol

A Timed Rewriting Logic Semantics for SDL: A Case Study of the Alternating Bit Protocol

alternating bit protocol
Recently Published Documents