By Jos C. M. Baeten, Bas Luttik, Paul van Tilburg (auth.), Maciej Koutny, Irek Ulidowski (eds.)
This ebook constitutes the completely refereed lawsuits of the twenty third foreign convention on Concurrency idea, CONCUR 2012, held in Newcastle upon Tyne, united kingdom, September 4-7, 2012. The 35 revised complete papers offered including four invited talks have been conscientiously reviewed and chosen from ninety seven submissions. The papers are equipped in subject matters corresponding to reachability research; qualitative and timed structures; behavioural equivalences; temporal logics; consultation varieties; abstraction; mobility and area in technique algebras; stochastic platforms; probabilistic structures; Petri nets and non-sequential semantics; verification; decidability.