Formally verified temporal collisions in Kafka, NATS, RabbitMQ, and Pulsar(zenodo.org)
2 pointsby illyar802 hours ago1 comment