Tla Plus, Resilience, Software Development, DevOps.
modeling a round robin load balancer becomes just a matter of counting to three over again. We don’t need our events directed to a specific VM anymore so we’ll just get rid of that. Then we add some basic conditional logic to trigger_event so that the model directs the next event to the next VM in