causal_automata
