Based on our previous work on algebraic laws for true concurrency, we design a structured parallel programming language for true concurrency called SPPL. Different to most programming languages, SPPL has an explicit parallel operator as an essential operator, including its operational, denotational and axiomatic semantics. SPPL can structure a truly concurrent graph to a normal form which means that it is possible to implement a compiler for SPPL.

翻译：根据我们以前关于真正同值货币的代数法的工作,我们为真正的同值货币设计了一种结构化的平行编程语言,称为SPPL。 与大多数编程语言不同,SPPL有一个明确的平行操作者作为基本操作者,包括操作、注解和不言自明的语义学。 SPPL可以将一个真正并行的图表编成一种正常的形式,这意味着有可能为SPPL建立一个编程者。