A session type provider: compile-time API generation of distributed protocols with refinements in F#

Proceedings of the 27th International Conference on Compiler Construction - CC 2018 ◽

10.1145/3178372.3179495 ◽

2018 ◽

Author(s):

Rumyana Neykova ◽

Raymond Hu ◽

Nobuko Yoshida ◽

Fahd Abdeljallal

Keyword(s):

Distributed Protocols ◽

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

“An Image is Worth a Thousand Features”: Scalable Product Representations for In-Session Type-Ahead Personalization

Companion Proceedings of the Web Conference 2020 ◽

10.1145/3366424.3386198 ◽

2020 ◽

Author(s):

Bingqing Yu ◽

Jacopo Tagliabue ◽

Ciro Greco ◽

Federico Bianchi

Keyword(s):

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

Session Type Inference in Haskell

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.69.6 ◽

2011 ◽

Vol 69 ◽

pp. 74-91 ◽

Author(s):

Keigo Imai ◽

Shoji Yuen ◽

Kiyoshi Agusa

Keyword(s):

Type Inference ◽

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