Search results
From MaRDI portal
- Publication Type A trade-off between information and communication in broadcast protocols 1990-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3787498 1988-01-01...10 bytes (16 words) - 19:36, 26 December 2023
- 1987-01-01 Paper Asynchronous consensus and broadcast protocols 1985-01-01 Paper...10 bytes (16 words) - 17:38, 23 September 2023
- interval probabilistic timed automata 2020-01-31 Paper Parametric timed broadcast protocols 2020-01-23 Paper https://portal.mardi4nfdi.de/entity/Q5240149 2019-10-24...10 bytes (16 words) - 17:50, 11 December 2023
- interval probabilistic timed automata 2020-01-31 Paper Parametric timed broadcast protocols 2020-01-23 Paper Reachability in parametric interval Markov chains...10 bytes (16 words) - 19:46, 24 September 2023
- Date of Publication Type Handling message semantics with Generic Broadcast protocols 2020-12-03 Paper Early consensus in an asynchronous system with a...10 bytes (16 words) - 02:18, 9 December 2023
- message semantics with Generic Broadcast protocols 2020-12-03 Paper Multicoordinated Paxos 2014-03-13 Paper Optimal atomic broadcast and multicast algorithms...10 bytes (16 words) - 05:35, 7 October 2023
- of Publication Type Necessary and sufficient conditions for broadcast consensus protocols. 1995-11-22 Paper Asynchronous Fault-Tolerant Total Ordering...10 bytes (16 words) - 20:08, 24 September 2023
- Systems 2009-12-01 Paper Is Lazy Abstraction a Decision Procedure for Broadcast Protocols? 2008-04-04 Paper...10 bytes (16 words) - 18:38, 24 September 2023
- population protocols 2023-09-11 Paper https://portal.mardi4nfdi.de/entity/Q5874505 2023-02-07 Paper Running time analysis of broadcast consensus protocols 2021-10-18...10 bytes (16 words) - 08:58, 25 September 2023
- https://portal.mardi4nfdi.de/entity/Q5111627 2020-05-27 Paper Parametric timed broadcast protocols 2020-01-23 Paper https://portal.mardi4nfdi.de/entity/Q5208876 2020-01-22...10 bytes (16 words) - 16:25, 11 December 2023
- efficient verification of population protocols 2021-12-08 Paper Running time analysis of broadcast consensus protocols 2021-10-18 Paper The complexity of...10 bytes (16 words) - 23:42, 24 September 2023
- conditions for broadcast consensus protocols. 1995-11-22 Paper https://portal.mardi4nfdi.de/entity/Q4318636 1995-01-09 Paper Classic squares and broadcast squares...10 bytes (20 words) - 16:37, 9 December 2023
- for directed networks like Twitter 2022-03-01 Paper A Context-Aware Broadcast Protocol for Mobile Wireless Networks 2009-05-13 Paper...10 bytes (16 words) - 19:50, 26 December 2023
- techniques for mobile systems 2001-10-14 Paper HPP: A Reliable Causal Broadcast Protocol for Large-Scale Replication in Wide Area Networks 1998-10-18 Paper...10 bytes (16 words) - 01:54, 25 September 2023
- information and communication in broadcast protocols 1990-01-01 Paper On the effects of feedback in dynamic network protocols 1990-01-01 Paper https://portal...10 bytes (17 words) - 05:40, 9 December 2023
- conditions for broadcast consensus protocols. 1995-11-22 Paper https://portal.mardi4nfdi.de/entity/Q4318636 1995-01-09 Paper Classic squares and broadcast squares...10 bytes (18 words) - 16:09, 9 December 2023
- abstractions and parametric model checking 2020-01-23 Paper Parametric timed broadcast protocols 2020-01-23 Paper https://portal.mardi4nfdi.de/entity/Q5208876 2020-01-22...10 bytes (16 words) - 11:57, 7 October 2023
- network conditions 2023-08-25 Paper \textsc{Tardigrade}: an atomic broadcast protocol for arbitrary network conditions 2023-05-12 Paper Always have a backup...10 bytes (16 words) - 09:33, 25 September 2023
- fault-tolerant scheme for RAIDs 2004-05-18 Paper AHBP: An efficient broadcast protocol for mobile ad hoc networks 2001-10-14 Paper Optimal partitioning of...10 bytes (16 words) - 06:13, 9 December 2023
- Paper Message complexity versus space complexity in fault tolerant broadcast protocols 1989-01-01 Paper Arthur-Merlin games: A randomized proof system, and...10 bytes (17 words) - 16:13, 10 December 2023