班克斯，C.J。;斯塔克，I。 上下文中的行为逻辑。 （英语） Zbl 1311.68083号 Inf.计算。 236, 3-18 (2014).MSC公司：60年第68季度 03B44号 68问题85 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{C.J.Banks}和\textit{I.Stark}，Inf.Compute。2363-18（2014年；Zbl 1311.68083） 全文： DOI程序
汤姆·乔西亚;伊恩·斯塔克 将分布式区域和本地通信编码为\（\pi\）-演算。 （英语） Zbl 1260.68260号 Aceto，Luca（编辑）等人，EXPRESS'01。2001年8月20日在丹麦奥尔堡举行的CONCUR 2001第八届并发表达能力国际研讨会会议记录。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》52，第1期，第101-119页（2002年）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Chothia}和\textit{I.Stark}，电子。理论注释。计算。科学。52，第1号，101--119（2002；Zbl 1260.68260） 全文： DOI程序
汤姆·乔西亚;伊恩·斯塔克 具有局部通信区域的分布式（pi）演算。 （英语） Zbl 1262.68137号 Reppy，John（编辑）等人，HLCL 2000。第四届高级并发语言国际研讨会（PLI 2000卫星），加拿大蒙特利尔，2000年9月20日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》41，第2期，第1-16页（2001年）。MSC公司：68问题85 68英里11 68个M12 PDF格式BibTeX公司 XML格式引用 \textit｛T.Chothia｝和\textit｛I.Stark｝，电子。理论注释。计算。科学。41，No.2，1--16（2001；Zbl 1262.68137） 全文： DOI程序