Specification for structural synthesis of programs (SSP) contains information needed for introducing concurrency into a synthesized
program. We explain how this can be used in a multithreaded computing environment, in particular, in a Java environment. We
discuss strategies of coarse-grained multithreaded execution of synthesized programs: composing threads and imposing parallelism
on subtasks.