杰拉德·布多尔;伊利亚州卡斯特拉尼;马修·轩尼诗;尼尔森，莫根斯;格林·温斯克尔 二十年过去了：对CEDISYS项目的反思。将真正的并发性与进程代数相结合。 （英语） Zbl 1143.68475号 Degano，Pierpaolo（编辑）等人，《并发、图形和模型》。纪念乌戈·蒙塔纳里65岁生日的文章。柏林：施普林格出版社（ISBN 978-3-540-68676-7/pbk）。计算机科学课堂讲稿5065757-777（2008）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛G.Boudol｝等人，Lect。注释计算。科学。5065757--777（2008年；Zbl 1143.68475） 全文： 内政部
尼尔森，莫根斯;温克尔，格林 Petri网和互模拟。 （英语） Zbl 0872.68129号 理论。计算。科学。 153，编号1-2，211-244（1996）.MSC公司：68问题85 2010年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.尼尔森}和\textit{G.温斯克尔}，提奥。计算。科学。153，编号1--2，211-244（1996；Zbl 0872.68129） 全文： 内政部
金·苏内森;尼尔森，莫根斯 无限系统的行为等效性-部分可判定！ （英语） Zbl 1418.68154号 Billington，Jonathan（编辑）等人，《Petri网的应用和理论》，1996年。第17届国际会议，日本大阪，1996年6月24日至28日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1091, 460-479 (1996).MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Sunesen}和\textit{M.Nielsen}，莱克特。注释计算。科学。1091460--479（1996年；Zbl 1418.68154） 全文： 内政部
尼尔森，莫根斯;克里斯蒂安·克劳森 相互模拟、游戏和逻辑。 （英语） 兹比尔1529.68178 Karhumäki，Juliani（编辑）等人，《理论计算机科学的结果和趋势》。1994年6月10日至11日，奥地利格拉茨阿尔托·萨洛马学术讨论会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。812, 289-306 (1994).MSC公司：68问题85 03B70号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.尼尔森}和\textit{C.克劳森}，莱克特。注释计算。科学。812、289--306（1994年；Zbl 1529.68178） 全文： 内政部