23. CONCUR 2012: Newcastle upon Tyne, UK

Invited Talks

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

a service of Schloss Dagstuhl - Leibniz Center for Informatics