Paper accepted at Concur 2017
Andrea Cerone has had a paper accepted at this year’s International Conference on Concurrency Theory, (Concur 2017) which will be held in Berlin, Germany in September.
The paper, entitled Algebraic Laws for Weak Consistency was written in collaboration with Alexey Gotsman, IMDEA Software Institute, Madrid and Hongseok Yang, University of Oxford, UK.
The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications. The topics covered are Theory, Formal Modelling, Verification, Performance Evaluation and Engineering of concurrent, timed, and other systems. CONCUR is part of QONFEST, the umbrella event comprising the joint international 2017 meetings CONCUR, QEST, FORMATS, and EPEW, alongside with several workshops and tutorials.