Aceto，卢卡;伊恩·卡萨尔;阿德里安·弗兰卡兰扎;Ingófsdóttir，安娜 一阶分支时间属性的双向运行时强制。 （英文） Zbl 07667087号 日志。方法计算。科学。 19，第1号，第14号论文，44页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人，日志。方法计算。科学。19，第1号，第14号论文，44页（2023；Zbl 07667087） 全文： 内政部 arXiv公司
Aceto，卢卡;伊恩·卡萨尔;阿德里安·弗兰卡兰扎;Anna Ingólfsdóttir 在双向运行时强制上。 （英文） Zbl 1489.68135号 Peters，Kirstin（编辑）等人，分布式对象、组件和系统的形式化技术。第41届IFIP WG 6.1国际会议，FORTE 2021，作为第16届分布式计算技术国际联合会议的一部分，于2021年6月14日至18日在马耳他瓦莱塔举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12719, 3-21 (2021).MSC公司：60年第68季度 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人，Lect。注释计算。科学。12719年3月21日（2021年；Zbl 1489.68135） 全文： 内政部 哈尔
伏玉溪 互动理论。 （英文） Zbl 1353.68082号 西奥。计算。科学。 611, 1-49 (2016).MSC公司：2005年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \Theor，textit{Y.Fu}。计算。科学。611、1--49（2016；Zbl 1353.68082） 全文： 内政部
休伯特·加拉维 重温过程计算中的序列构成。 （英文） Zbl 1330.68201号 J.日志。阿尔盖布。方法计划。 84，第6期，742-762（2015）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Garavel}，J.Log。阿尔盖布。方法程序。84，第6号，742--762（2015；Zbl 1330.68201） 全文： 内政部
李、何;罗杰;李伟 用于调试基于同步消息传递的并发程序的正式语义。 （英文） Zbl 1314.68101号 科学。中国，信息科学。 57，第12号，文章ID 128101，18 p.（2014）.MSC公司：第68页第19页 68问题55 PDF格式BibTeX公司 XML格式引用 \textit｛H.Li｝等人，《科学》。中国，信息科学。57，第12号，文章ID 128101，18页（2014；Zbl 1314.68101） 全文： 内政部 链接
伏玉溪 传递值的微积分。 （英文） 兹比尔1390.68469 刘志明（主编）等，《程序设计理论与形式化方法》。纪念何继峰70岁生日的散文。柏林：施普林格出版社（ISBN 978-3-642-39697-7/pbk）。计算机科学课堂讲稿8051166-195（2013）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{Y.Fu}，莱克特。注释计算。科学。8051166--195（2013；Zbl 1390.68469） 全文： 内政部
刘佳;林惠民 一个完整的符号互模拟，用于完全应用的π演算。 （英文） Zbl 1277.68196号 西奥。计算。科学。 458, 76-112 (2012).MSC公司：68问题85 68问题55 94A60型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Liu}和\textit{H.Lin}，Theor。计算。科学。458，76-112（2012；Zbl 1277.68196） 全文： 内政部
马格纳斯·约翰逊;比约恩·维克多;约阿希姆·帕罗 计算psi-calculi的强互模拟和弱互模拟。 （英文） Zbl 1277.68192号 J.日志。阿尔盖布。程序。 81，第3期，162-180（2012）.MSC公司：68问题85 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Johansson}等人，J.Log。阿尔盖布。程序。81，第3号，162--180（2012；Zbl 1277.68192） 全文： 内政部
曹子宁 有限高阶（pi）演算的等价性检查。 （英文） Zbl 1138.68439号 Beckert，Bernhard（编辑）等人，《测试和证明》。第二届国际会议，2008年4月9日至11日，意大利普拉托，TAP 2008。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-79123-2/pbk）。计算机科学课堂讲稿4966，30-47（2008）。MSC公司：60年第68季度 68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Cao}，Lect（左）。注释计算。科学。4966，30--47（2008年；Zbl 1138.68439） 全文： 内政部
林惠民 演算中弱互模拟等价的完备推理系统。 （英文） 兹比尔1045.68098 Inf.计算。 180，第1期，1-29期（2003年）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Lin}，信息计算。180，编号1，1--29（2003；Zbl 1045.68098） 全文： 内政部
Anna Ingólfsdóttir 基于最新方法的价值传递过程语义理论。 （英文） Zbl 1028.68094号 Inf.计算。 184，第1期，1-44页（2003年）.MSC公司：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Ingólfsdóttir}，信息计算。184，第1号，1-44（2003；Zbl 1028.68094） 全文： 内政部
博雷尔，M。;Trevisan，L。 值传递过程的双相似性的复杂性分析。 （英文） Zbl 0944.68135号 西奥。计算。科学。 238，编号1-2，313-345（2000）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Boreale}和\textit{L.Trevisan}，Theor。计算。科学。238，编号1--2，313--345（2000；Zbl 0944.68135） 全文： 内政部
林惠民 计算有限控制演算的互模拟。 （英文） Zbl 0954.68040号 J.计算。科学。Technol公司。 第15期，第1期，第1-9期（2000年）.MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{H.Lin}，J.计算。科学。Technol公司。15，编号1，1--9（2000；Zbl 0954.68040） 全文： 内政部
轩尼诗，M。;Rathke，J。 广播系统演算的相互模拟。 （英文） Zbl 0915.68065号 西奥。计算。科学。 200，编号1-2，225-260（1998）.MSC公司：2010年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Hennessy}和\textit{J.Rathke}，Theor。计算。科学。200，编号1--2225-260（1998；Zbl 0915.68065） 全文： 内政部
巴顿，J.C.M。;J.A.伯格斯特拉。 在顺序组合中，操作前缀和进程前缀。 （英文） Zbl 0942.68608号 正式Asp。计算。 6，第3期，250-268（1994）.MSC公司：68问题55 60年第68季度 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{J.C.M.Baeten}和textit{J.A.Bergstra}，正式Asp。计算。6，第3号，250--268（1994；Zbl 0942.68608） 全文： 内政部