阿尔卑斯山,博文;弗雷德·施耐德。 在没有时态逻辑的情况下验证时态属性。 (英语) Zbl 0676.68003号 ACM事务处理。程序。语言系统。 11,第1号,147-167(1989). 审核人:圣戈特瓦尔德 MSC公司:68号01 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Alpern}和\textit{F.B.Schneider},ACM Trans。程序。语言系统。11,第1号,147--167(1989;Zbl 0676.68003) 全文: 内政部 链接
理查德·施利钦(Richard D.Schlichting)。;弗雷德·施耐德。 将消息传递用于分布式编程:证明规则和规程。 (英语) Zbl 0536.68023号 ACM事务处理。程序。语言系统。 6, 402-431 (1984).MSC公司:68N25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.D.Schlichting}和\textit{F.B.Schneider},ACM Trans。程序。语言系统。6402-431(1984年;Zbl 0536.68023) 全文: 内政部
莱斯利·兰波特;弗雷德·施耐德。 CSP的“骗局逻辑”等等。 (英语) Zbl 0536.68017号 ACM事务处理。程序。语言系统。 6, 281-296 (1984).MSC公司:68N25号 PDF格式BibTeX公司 XML格式引用 \textit{L.Lamport}和\textit{F.B.Schneider},ACM Trans。程序。语言系统。6、281--296(1984年;Zbl 0536.68017) 全文: 内政部 链接
弗雷德·施耐德。 分布式程序中的同步。 (英语) Zbl 0479.68019号 ACM事务处理。程序。语言系统。 4, 125-148 (1982).MSC公司:68N25号 PDF格式BibTeX公司 XML格式引用 \textit{F.B.Schneider},ACM翻译。程序。语言系统。4125--148(1982;Zbl 0479.68019) 全文: 内政部