摘要
J.B.Dennis，“数据流过程语言的第一个版本”。 麻省理工学院项目MAC，计算结构小组，备忘录93（1973）。 谷歌学者 
P.R.Kosinski，“数据流编程语言”。 IBM研究报告RC-4264（1973年3月）。 谷歌学者 D.Scott，“计算数学理论概述”。 《第四届普林斯顿信息科学与系统年会论文集》，第169-176页（1970年）。 谷歌学者 R.D.Tennent，“编程语言的指称语义”。 ACM通讯，第19卷，第8期（1976年8月），第437-ff页。 谷歌学者 数字图书馆 
R.W.Floyd，“为项目赋予意义”。 应用数学研讨会论文集，美国数学学会，第十九卷（1967），第19-32页。 谷歌学者 C.A.R.Hoare，“计算机编程的公理基础”。 ACM通讯，第12卷，第10号（1969年10月），第576-583页。 谷歌学者 数字图书馆 G.D.Plotkin，《权力领域的构建》。 SIAM计算机杂志，第5卷，第3期（1976年9月）。 谷歌学者 交叉引用 
M.B.Smyth，“权力领域”。 计算机科学数学基础会议，波兰格但斯克（1976年9月）。 谷歌学者 P.R.Kosinski，“数学语义和数据流编程”。 ACM第三届程序设计语言原理研讨会（1976年1月）。 谷歌学者 数字图书馆 R.M.Keller，“不确定算子的外延模型”。 IFIP编程概念形式描述工作会议（1977年8月）。 谷歌学者 G.Kahn，“并行程序的初步理论”。 IRIA实验室报告6（1973年1月）。 谷歌学者 P.R.Kosinski，“确定性和非确定性数据流程序的指称语义”。 麻省理工学院计算机科学实验室博士论文（准备中）。 谷歌学者
非确定数据流程序的直接指称语义
建议
基于指称语义的并发语言开发方法 SYNASC’09：2009年第11届科学计算符号和数字算法国际研讨会论文集 通过使用“并发的延续语义”（CSC）技术[6]，指称语义既可以用作形式规范的方法，也可以用作设计并发语言的可处理组合原型的通用方法[8]。。。 将指称语义与web服务的操作语义链接起来 近年来，Web服务变得越来越重要，BPEL4WS（BPEL）是Web服务组合和编排的事实标准。 它包含几个不同的功能，包括基于范围的补偿和故障。。。
