23rd CONCUR 2012: Newcastle upon Tyne, UK

Refine list

showing all ?? records

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