A nontrivial example of concurrent processing: Distributed simulation | Synapse