Skip to content
#

Protocol (disambiguation)

Protocol can mean different things, depending on the context:

Here are 2,393 public repositories matching this topic...

zenoh unifies data in motion, data in-use, data at rest and computations. It carefully blends traditional pub/sub with geo-distributed storages, queries and computations, while retaining a level of time and space efficiency that is well beyond any of the mainstream stacks.

  • Updated Jun 5, 2024
  • Rust

zenoh unifies data in motion, data in-use, data at rest and computations. It carefully blends traditional pub/sub with geo-distributed storages, queries and computations, while retaining a level of time and space efficiency that is well beyond any of the mainstream stacks.

  • Updated Jun 5, 2024
  • Rust
PANTHER

This tool presents a novel approach to bolstering network protocol verification by integrating the Shadow network simulator with the Ivy formal verification tool to check time properties. Furthermore, it extends Ivy’s capabilities with a dedicated time module, enabling the verification of complex quantitative-time properties.

  • Updated Jun 5, 2024
Followers
47 followers
Wikipedia
Wikipedia

Related Topics

communication-protocol interface network-protocol