SC bootstraps the development of parallel languages and machine architectures, in a series of project stages.
- Develop a non-graph based, textual language system incorporating an abstract machine environment (interlanguage), for concurrent expression and concise description of many-to-many relationships and DAGs.
- Use interlanguage features to provide insight for developing formal, bit-level machine models of parallel computation (α-Ram family).
- Use interlanguages and α-Rams to develop a general purpose environment (Space) for parallelism/concurrency.
- Use Space and α-Rams to develop specialised and more general purpose parallel architectures (Synchronic Engines).
- Using only enough informal logic and set theory to define α-Rams, attempt to recast mathematical structures, including logic and the axioms of set theory, as parallelised computational structures. Both constructive and non-constructive approaches could be pursued. (In contrast with Homotopy Type Theory, which is tied to the sequential λ-calculus, conventional tree syntax based formalisms, and abstracted from machines.)
- Further practical and theoretical objectives.