An actor-based simulation of airport security screening
-
Updated
Jul 8, 2026 - Java
An actor-based simulation of airport security screening
FlowDB is a distributed, transactional key-value store that provides high performance, scalability, fault tolerance, and consistency. It supports various programming languages and platforms, enables asynchronous, actor-based programming, manages cluster deployment and configuration, and provides documentation and testing.
Agents and skills for Rebeca actor model formal verification and model checking workflows
To associate your repository with the actor-based-programming topic, visit your repo's landing page and select "manage topics."