CONCUR 2012 - Concurrency Theory 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings - Koutny, Maciej; Ulidowski, Irek (Berlin, Heidelberg : Springer Berlin Heidelberg, 2012)
Reachability analysis.-qualitative and timed systems.-behavioural equivalences.-temporal logics.-session types -- abstraction -- mobility and space in process algebra.-stochastic systems.-probabilistic systems -- Petri nets and non-sequential semantics.-verification; decidability.
Keywords: Computer science; Computer communication systems; Software engineering; Programming languages (Electronic computers).; Computer logic; Mathematical logic