TY  - BOOK
AU  - Koutny,Maciej
AU  - Ulidowski,Irek
ED  - SpringerLink (Online service)
TI  - CONCUR 2012 – Concurrency Theory: 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783642329401
AV  - QA76.758 
U1  - 005.1 23
PY  - 2012///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg, Imprint: Springer
KW  - Computer science
KW  - Computer Communication Networks
KW  - Software engineering
KW  - Logic design
KW  - Computer Science
KW  - Software Engineering
KW  - Logics and Meanings of Programs
KW  - Programming Languages, Compilers, Interpreters
KW  - Information Systems Applications (incl. Internet)
KW  - Mathematical Logic and Formal Languages
N1  - 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
N2  - This book constitutes the thoroughly refereed proceedings of the 23rd International Conference on Concurrency Theory, CONCUR 2012, held in Newcastle upon Tyne, UK, September 4-7, 2012. The 35 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 97 submissions. The papers are organized in topics such as reachability analysis; qualitative and timed systems; behavioural equivalences; temporal logics; session types; abstraction; mobility and space in process algebras; stochastic systems; probabilistic systems; Petri nets and non-sequential semantics; verification; decidability
UR  - http://dx.doi.org/10.1007/978-3-642-32940-1
ER  -