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

maintained by Schloss Dagstuhl LZI at University of Trier