PPDP 2008: Valencia, Spain

Concurrency & parallelism

Theory & semantics

Theory & semantics

Language issues

Reasoning

Debugging and checking

Constraints