Concur 2012 Concurrency Theory 23Rd International Conference Concur 2012 Newcastle Upon Tyne Uk September 4 7 2012 Proceedings 2012