Formally verified temporal collisions in Kafka, NATS, RabbitMQ, and Pulsar

 (zenodo.org)

2 points | by illyar80 10 hours ago ago

1 comments