PPDP 2008: Valencia, Spain

Concurrency & parallelism

Theory & semantics

Theory & semantics

Language issues

Reasoning

Debugging and checking

Constraints

a service of Schloss Dagstuhl - Leibniz Center for Informatics