Automatic layout algorithms compute layouts for diagrams

Sequentially Constructive Concurrency: Conservative Extension of Synchronous Computation