函数式编程语言不存在副作用，允许无依赖的函数并行执行，人们已经进行了很多有关的研究实验。以SISAL和SAC为代表的一类数据流程编程语言，是可以高效隐式并行的函数式编程语言，其关键特征是单赋值和面向数组。
术语.并行计算模型是计算模型的一大范畴，包括：细胞自动机、PRAM机、LogP机、佩特里网、和等。计算模型是用来分析计算进程代价的一种抽象化，利用它性能，可以不取决于特定实现和技术所特有的各种变化，并行算法一般而言是针对特定计算模型而编写的，为PRAM机编写的伪码通常会采用某种F