This is the Authorea template for Concurrency and Computation: Practice and Experience. Please refer to the journal’s author guidelines in order to confirm your manuscript adheres to the journal’s requirements for submissions; note, without exception, the reference style used should be that provided in the template. Should the journal style differ, the references will be reformatted during production if the manuscript is accepted for publication.