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