Distributed program checking: a paradigm for building self-stabilizing distributed protocols

[1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science ◽

10.1109/sfcs.1991.185377 ◽

2002 ◽

Author(s):

B. Awerbuch ◽

G. Varghese

Keyword(s):

Distributed Protocols ◽

Program Checking

Download Full-text

Object-oriented support for specification of distributed protocols

Proceedings of the Fifth International Workshop on Object-Orientation in Operation Systems ◽

10.1109/iwooos.1996.557903 ◽

2002 ◽

Author(s):

D.C. Sturman

Keyword(s):

Object Oriented ◽

Distributed Protocols

Download Full-text

Distributed protocols for access arbitration in tree-structured communication channels

IEEE Transactions on Communications ◽

10.1109/26.79284 ◽

1991 ◽

Vol 39 (3) ◽

pp. 416-425 ◽

Author(s):

R. Melen ◽

J.S. Turner

Keyword(s):

Communication Channels ◽

Distributed Protocols ◽

Structured Communication

Download Full-text

Session details: Session 4D: Distributed Protocols

Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security ◽

10.1145/3432975 ◽

2020 ◽

Author(s):

Vassilis Zikas

Keyword(s):

Distributed Protocols

Download Full-text

Distributed protocols for ad hoc wireless LANs: a learning-automata-based approach

Ad Hoc Networks ◽

10.1016/j.adhoc.2003.09.004 ◽

2004 ◽

Vol 2 (4) ◽

pp. 419-431 ◽

Author(s):

P. Nicopolitidis ◽

G.I. Papadimitriou ◽

A.S. Pomportsis

Keyword(s):

Ad Hoc ◽

Wireless Lans ◽

Learning Automata ◽

Distributed Protocols

Download Full-text

Problem identification using program checking

Discrete Applied Mathematics ◽

10.1016/j.dam.2003.11.005 ◽

2004 ◽

Vol 144 (3) ◽

pp. 270-280

Author(s):

Christian S. Collberg ◽

Todd A. Proebsting

Keyword(s):

Problem Identification ◽

Program Checking

Download Full-text

Distributed Protocols for Multi-Agent Coalition Formation: A Negotiation Perspective

Active Media Technology - Lecture Notes in Computer Science ◽

10.1007/978-3-642-35236-2_10 ◽

2012 ◽

pp. 93-102 ◽

Author(s):

Predrag T. Tošić ◽

Carlos Ordonez

Keyword(s):

Coalition Formation ◽

Distributed Protocols ◽

Download Full-text

Distributed protocols against mobile eavesdroppers

Distributed Algorithms - Lecture Notes in Computer Science ◽

10.1007/bfb0022145 ◽

1995 ◽

pp. 160-167 ◽

Author(s):

P. Spirakis ◽

B. Tampakas ◽

H. Antonopoulou

Keyword(s):

Distributed Protocols

Download Full-text

Efficient Verification of Distributed Protocols Using Stateful Model Checking

2013 IEEE 32nd International Symposium on Reliable Distributed Systems ◽

10.1109/srds.2013.22 ◽

2013 ◽

Author(s):

Habib Saissi ◽

Peter Bokor ◽

Can Arda Muftuoglu ◽

Neeraj Suri ◽

Marco Serafini

Keyword(s):

Model Checking ◽

Distributed Protocols ◽

Efficient Verification

Download Full-text

Dynamic module replacement in distributed protocols

23rd International Conference on Distributed Computing Systems, 2003. Proceedings. ◽

10.1109/icdcs.2003.1203513 ◽

2004 ◽

Author(s):

N. Sridhar ◽

S.M. Pike ◽

B.W. Weide

Keyword(s):

Distributed Protocols

Download Full-text

Flexible simulation of distributed protocols for mobile computing

Proceedings of the 3rd ACM international workshop on Modeling, analysis and simulation of wireless and mobile systems - MSWIM '00 ◽

10.1145/346855.346874 ◽

2000 ◽

Author(s):

Ricardo C. A. da Rocha ◽

Markus Endler

Keyword(s):

Mobile Computing ◽

Distributed Protocols

Download Full-text