Navigation

  • index
  • next |
  • previous |
  • msg-notes 0.0.0 documentation »

AppendicesΒΆ

Subtopics:

  • Test cases
    • Causal ordering
    • Greeting protocols
    • Key-rotation ratchets
  • Proofs
    • Causal ordering
      • Formal model for diff and apply
    • Greeting protocols
    • Key-rotation ratchets
  • Pseudocode
    • Causal ordering
    • Greeting protocols
    • Key-rotation ratchets
  • Extra topics
    • Defining message identifiers
      • Author-specific identifiers
    • Consistency without reliability
    • Timestamps
      • Semantics
      • Minimum bound
  • Hybrid ordering
    • Models and assumptions
      • Group transport channel
      • Group membership operation
    • Ordering and consistency
      • Context preservation
      • Agreement
      • Consistency
    • Partial visibility
      • Of initial proposals
      • Of final proposals
    • Session and channel interactions
      • Entering a channel
      • Leaving a channel
      • Excluded from a session

Previous topic

Indicating security information

Next topic

Test cases

This Page

  • Show Source

Quick search

Enter search terms or a module, class or function name.

Navigation

  • index
  • next |
  • previous |
  • msg-notes 0.0.0 documentation »
© Copyright 2014-2015 Mega Limited, licensed under CC-BY-SA-4.0. Created using Sphinx 1.3.6.