A Formal Venture into Reliable Multicast Territory

No abstract is available for this paper.

• Publication year

  2002

• Venue

  Formal Techniques for (Networked and) Distributed Systems

• Publication date

  2002-11-11

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/3-540-36135-9_10
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• An error control scheme for large-scale multicast applications

  1998cited by this paper
• Local error recovery in SRM: comparison of two approaches

  1998cited by this paper
• OTERS (on-tree efficient recovery using subcasting): a reliable multicast protocol

  1998cited by this paper
• Reliable Multicast Transport Protocol (RMTP)

  1997cited by this paper
• RMTP: a reliable multicast transport protocol

  1996cited by this paper
• A reliable multicast framework for light-weight sessions and application level framing

  1995influential reference
• Log-based receiver-reliable multicast for distributed interactive simulation

  1995cited by this paper
• Distributed Algorithms

  1992cited by this paper

• Dynamic input/output automata: A formal and compositional model for dynamic systems

  2016cites this paper
• An Efficient Reliable Multicast Protocol ERMP for one-to-many Applications over LAN Environment

  2013cites this paper
• A framework for multiparty communication types

  2005cites this paper
• An approach to developing modular specifications of distributed systems in Maude

  2005cites this paper
• Synthesis of fault-tolerant concurrent programs

  2004cites this paper
• Caching-enhanced scalable reliable multicast

  2004cites this paper
• Cooperative Computing in Dynamic Environments MIT 9904-12 Progress Report : July 1 , 2002 — December 31 , 2002

  2003cites this paper
• Cooperative Computing in Dynamic Environments MIT 9904-12 Progress Report : January 1 , 2002 — June 30 , 2002 Nancy Lynch and Idit Keidar Project Overview

  2003cites this paper
• Cooperative Computing in Dynamic Environments MIT9904-12

  2002cites this paper