A Formal Venture into Reliable Multicast Territory

A Formal Venture into Reliable Multicast Territory

Bibliographic Details
Main Authors:	Livadas, Carolos, Lynch, Nancy A.
Published:	2023
Online Access:	https://hdl.handle.net/1721.1/149964

Similar Items

Formally modeling, analyzing, and designing network protocols : a case study on retransmission-based reliable multicast protocols
by: Livadas, Carolos
Published: (2014)

A Reliable Broadcast Scheme for Sensor Networks
by: Livadas, Carolos, et al.
Published: (2005)

Formal Verification of Safety-Critical Hybrid Systems
by: Livadas, Carolos
Published: (2023)

Formal verification of safety-critical hybrid systems
by: Livadas, Carolos
Published: (2008)

The Case for Exploiting Packet Loss Locality in Multicast Loss Recovery
by: Livadas, Carolos, et al.
Published: (2023)

Optimal H₂/Popov controller design using linear matrix inequalities
by: Livadas, Carolos
Published: (2009)

Buffer management for active reliable multicast
by: Zhang, Jingyu
Published: (2008)

Error recovery protocol for reliable multicast
by: Shen, Yong.
Published: (2008)

Feedback suppression in reliable multicast protocol
by: Cheng, Liang.
Published: (2008)

Study of feedback suppression of reliable multicast
by: Cheah, Wei Keong.
Published: (2008)

Assessing the vulnerabilities of reliable multicast protocols
by: Karbiner, Lara M. (Lara Magdalena), 1975-
Published: (2009)

Reliable multicast for publish/subscribe systems
by: Sun, Qixiang, 1978-
Published: (2014)

QoS Preserving Totally Ordered Multicast
by: Bar-Joseph, Ziv, et al.
Published: (2023)

Development of a Reliable Multicast Protocol in Mobile Ad Hoc Networks
by: Alahdal, Tariq A. A.
Published: (2008)

An adaptive reliable multicast protocol in ad hoc networks
by: Al-Ahdal, Tariq Abdullah Ahmad, et al.
Published: (2007)

Cache allocation and caching policy for active reliable multicast
by: Lok, Kek Wee.
Published: (2008)

Congestion-aware active buffering for active reliable multicast
by: Lu, Chao.
Published: (2008)

A scalable reliable multicast transport protocol with advanced buffer management
by: Ahmed Hatem, Sakher Ahmed
Published: (2016)

Achieving reliability for wireless multicast transmission using network coding
by: Qureshi, Jalaluddin
Published: (2014)

Dynamic Input/Output Automata: A Formal Model for Dynamic Systems
by: Attie, Paul C., et al.
Published: (2005)

Reliable battery-aware cooperative multicasting for MBS WiMAX traffic
by: Elrabiei, Sara Moftah, et al.
Published: (2011)

Study of concast service model and its application in reliable multicast protocols
by: Lai, Yoke Piow
Published: (2008)

Reliable real-time stream distribution using an Internet multicast overlay
by: Mirkin, Ilia
Published: (2007)

Dynamic Input/Output Automata: a Formal and Compositional Model for Dynamic Systems
by: Attie, Paul C., et al.
Published: (2013)

A simulation engine model analysis for reliable multicast protocol in ad hoc network
by: Alahdal, Tariq, et al.
Published: (2008)

Integrated adaptive approach for reliable multicast transmission over geostationary satellite networks
by: Sali, Aduwati, et al.
Published: (2009)

Dynamic input/output automata: A formal and compositional model for dynamic systems
by: Attie, Paul C., et al.
Published: (2018)

Integrating territories : information systems integration and territorial rationality
by: Lee, Yang W., et al.
Published: (2009)

Automated Formal Verification of the DHCP Failover Protocol Using Timeout Order Abstraction
by: Umeno, Shinya, et al.
Published: (2012)

Design of a window-based congestion control scheme for reliable multicast bulk data dissemination
by: Tang, Seow Kit.
Published: (2008)

A Formally Reliable Cognitive Middleware for the Security of Industrial Control Systems
by: Khan, Muhammad Taimoor, et al.
Published: (2018)

Reliably Detecting Connectivity using Local Graph Traits
by: Cornejo, Alejandro, et al.
Published: (2010)

Study of IP multicasting vs peer-to-peer multicasting
by: Arthi Chandrasekaran.
Published: (2011)

Efficient transport protocol and architectural design for reliable multicast in internet and prototyping using network processor
by: Qin, Yang, et al.
Published: (2012)

Transformation of a living territory
by: Shahidan, Mohd Fairuz, et al.
Published: (2012)

Personalized multicast
by: Boissière, Guillaume, 1974-
Published: (2011)

Stepping into uncharted territory
by: R., Loheswar
Published: (2017)

Architecture in an unstable territory
by: Uribe Buitrago, Manuela.
Published: (2018)

Territoriality in public housing
by: Barclay, Suzanne Marie
Published: (2011)

Study of security issues in IP multicasting & peer-to-peer multicasting
by: Aswin Gopikrishnan Shankar.
Published: (2011)