Proof-theoretical Approaches to Concurrency Theory

Full project page

Organisations map overview