Actario : A Framework for Reasoning About Actor Systems
actors - a model of concurrent computation in distributed systems .