Title: CONCUR 2012 – Concurrency Theory
Subjects: Mathematical Logic and Formal Languages, Software engineering, Computer networks, Logic design, Logics and Meanings of Programs, Information Systems Applications (incl. Internet), Computer science, Programming Languages, Compilers, Interpreters, Computer Communication Networks