[go: up one dir, main page]

Khazan, 2002 - Google Patents

A one-round algorithm for virtually synchronous group communication in wide area networks

Khazan, 2002

View PDF
Document ID
18012289792707941924
Author
Khazan R
Publication year

External Links

Snippet

Group communication services, and especially those that implement Virtual Synchrony semantics, are powerful middleware systems that facilitate the development of fault-tolerant distributed applications. In this thesis, we present a high quality, theoretical design of a …
Continue reading at dspace.mit.edu (PDF) (other versions)

Classifications

    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L12/00—Data switching networks
    • H04L12/02—Details
    • H04L12/16—Arrangements for providing special services to substations contains provisionally no documents
    • H04L12/18—Arrangements for providing special services to substations contains provisionally no documents for broadcast or conference, e.g. multicast
    • H04L12/1813—Arrangements for providing special services to substations contains provisionally no documents for broadcast or conference, e.g. multicast for computer conferences, e.g. chat rooms
    • H04L12/1822—Conducting the conference, e.g. admission, detection, selection or grouping of participants, correlating users to one or more conference sessions, prioritising transmission
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06Q—DATA PROCESSING SYSTEMS OR METHODS, SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q10/00—Administration; Management
    • G06Q10/10—Office automation, e.g. computer aided management of electronic mail or groupware; Time management, e.g. calendars, reminders, meetings or time accounting
    • G06Q10/107—Computer aided management of electronic mail
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for programme control, e.g. control unit
    • G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
    • G06F9/46—Multiprogramming arrangements
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L12/00—Data switching networks
    • H04L12/54—Store-and-forward switching systems
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L12/00—Data switching networks
    • H04L12/28—Data switching networks characterised by path configuration, e.g. local area networks [LAN], wide area networks [WAN]
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions

Similar Documents

Publication Publication Date Title
Pîrlea et al. Mechanising blockchain consensus
Verissimo et al. Distributed systems for system architects
Birman et al. The Horus and Ensemble projects: Accomplishments and limitations
Guerraoui et al. Introduction to reliable distributed programming
Mahajan et al. Consistency, availability, and convergence
Varghese Self-stabilization by local checking and correction
Halpern et al. A knowledge-based analysis of the blockchain protocol
Barros et al. A compositional framework for service interaction patterns and interaction flows
Keidar et al. Timeliness, failure-detectors, and consensus performance
Jongmans et al. A Predicate Transformer for Choreographies: Computing Preconditions in Choreographic Programming
Keidar et al. A client-server approach to virtually synchronous group multicast: Specifications and algorithms
Khazan A one-round algorithm for virtually synchronous group communication in wide area networks
Bakhshi et al. Verification of peer-to-peer algorithms: A case study
Garnock-Jones Conversational Concurrency
Keidar et al. A client-server approach to virtually synchronous group multicast: Specifications, algorithms, and proofs
Sirjani et al. Compositional semantics of an actor-based language using constraint automata
Keidar et al. A virtually synchronous group multicast algorithm for WANs: Formal approach
Khazan Group communication as a base for a load-balancing replicated data service
Daggitt et al. Formally verified convergence of policy-rich dbf routing protocols
Duc Real-time object uniform design methodology with UML
Cortier et al. A cryptographic model for branching time security properties–the case of contract signing protocols
Younes Dynamic end-to-end reliable causal delivery middleware for geo-replicated services
Gorton Tangible toolkits for reflective systems modeling
Bhaduri Synthesis of interface automata
Hiltunen Configurable Fault-Tolerant Distributed Services