Diagrams of machines (#6) · Issues · distributed-systems / models