Parallel Composition

Slow Attack