阿纳斯塔西亚·格科尔菲;Din、Crystal Chang;约翰森，艾纳·布罗克;马丁·斯特芬;Yu，Ingrid Chieh女士 将活动对象转换为有色Petri网以进行通信分析。 （英语） Zbl 1498.68067号 Dastani，Mehdi（编辑）等人，《软件工程基础》，第七届国际会议，2017年4月26日至28日，伊朗德黑兰，FSEN 2017。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。10522，84-99（2017年）。MSC公司：68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Gkolfi}等人，Lect。注释计算。科学。10522、84-99（2017年；Zbl 1498.68067） 全文： 内政部 哈尔
马丁·斯特芬 带有Goroutines和延迟函数的并发演算的一种小步语义。 （英语） Zbl 1475.68050号 阿尔·布拉哈姆，埃里卡（编辑）等人，《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆：斯普林格。莱克特。注释计算。科学。9660, 393-406 (2016).MSC公司：68甲15 68甲19 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Steffen}，莱克特。注释计算。科学。9660，393--406（2016；Zbl 1475.68050） 全文： 内政部
艾丽卡·阿尔布拉汉姆;Tran，Thi Mai Thoung先生;马丁·斯特芬 可观察的接口行为和继承。 （英语） Zbl 1361.68054号 数学。结构。计算。科学。 26，第3号，561-605（2016）.MSC公司：第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám}等人，《数学》。结构。计算。科学。26，第3号，561--605（2016；Zbl 1361.68054） 全文： 内政部
德波尔（Frank S。;格拉贝，伊莫;马丁·斯特芬 活动对象的终止检测。 （英语） Zbl 1243.68221号 J.日志。阿尔盖布。程序。 81，第4期，541-557（2012）.MSC公司：68问题85 68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.S.de Boer}等人，J.Log。阿尔盖布。程序。81，第4号，541--557（2012；Zbl 1243.68221） 全文： 内政部
埃纳尔·布罗赫·约翰森;Mai Thoung Tran，Thi公司;Owe、Olaf;马丁·斯特芬 多线程Java的安全锁定。 （英语） Zbl 1353.68029号 Arbab，Farhad（编辑）等人，《软件工程基础》，第四届IPM国际会议，FSEN 2011，伊朗德黑兰，2011年4月20日至22日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-29319-1/pbk）。计算机科学课堂讲稿7141158-173（2012）。MSC公司：68甲15 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{E.B.Johnsen}等人，Lect。注释计算。科学。7141158-173（2012年；兹比尔1353.68029） 全文： 内政部
约翰·多夫兰;埃纳尔·布罗赫·约翰森;Owe、Olaf;马丁·斯特芬 针对多重继承的带有惰性行为子类型的增量推理。 （英语） Zbl 1221.68058号 科学。计算。程序。 76，编号10，915-941（2011）.MSC公司：68甲19 PDF格式BibTeX公司 XML格式引用 \textit{J.Dovland}等人，科学。计算。程序。76，第10号，915--941（2011；Zbl 1221.68058） 全文： 内政部
艾丽卡·阿尔布拉汉姆;伊莫·格雷布;安德烈亚斯·格吕纳;马丁·斯特芬 具有未来和承诺的面向对象语言的行为接口描述。 （英语） Zbl 1187.68130号 J.日志。阿尔盖布。程序。 78，第7期，491-518（2009）.MSC公司：68甲19 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám}等人，J.Log。阿尔盖布。程序。78，第7号，491--518（2009；Zbl 1187.68130） 全文： 内政部
艾丽卡·阿尔布拉汉姆;德波尔（Frank S。;威廉·鲍尔·德·罗弗;马丁·斯特芬 多线程Java的演绎证明系统，有例外。 （英语） Zbl 1144.68012号 芬丹。通知。 82，第4号，391-463（2008）.MSC公司：68甲15 68甲19 68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám}等人，Fundam。通知。82，第4号，391--463（2008；Zbl 1144.68012）
艾丽卡·阿尔布拉汉姆;安德烈亚斯·格吕纳;马丁·斯特芬 带有监视器的面向对象语言的抽象接口行为。 （英语） Zbl 1461.68051号 Gorrieri，Roberto（ed.）等人，开放式基于对象的分布式系统的形式化方法。第八届IFIP工作组6.1国际会议，2006年6月14日至16日，意大利博洛尼亚，FMOODS 2006。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。4037, 218-232 (2006).MSC公司：68甲19 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám}等人，Lect。注释计算。科学。4037、218--232（2006年；Zbl 1461.68051） 全文： 内政部
艾丽卡·阿尔布拉汉姆;马塞洛·M·邦桑格。;德波尔（Frank S。;安德烈亚斯·格吕纳;马丁·斯特芬 连续类演算中的可观察性、连接性和重播。 （英语） 兹比尔1143.68359 de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。2004年11月2日至5日，第三届国际研讨会，FMCO，荷兰莱顿。修订的讲座。柏林：施普林格出版社（ISBN 3-540-29131-8/pbk）。计算机科学课堂讲稿3657，296-316（2005）。MSC公司：68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám}等人，Lect。注释计算。科学。3657296-316（2005年；Zbl 1143.68359） 全文： 内政部
艾丽卡·阿尔布拉汉姆;德波尔（Frank S。;威廉·鲍尔·德·罗弗;马丁·斯特芬 Java（_{text{MT}}）的组合操作语义。 （英语） Zbl 1274.68037号 Dershowitz，Nachum（编辑），《验证：理论与实践》。在佐哈尔·曼纳64岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 3-540-21002-4/pbk）。计算机科学课堂讲稿2772290-303（2003）。MSC公司：68甲15 68问题55 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám}等人，Lect。注释计算。科学。2772290--303（2003年；Zbl 1274.68037） 全文： 内政部
艾丽卡·阿尔布拉汉姆;德波尔（Frank S。;威廉·鲍尔·德·罗弗;马丁·斯特芬 一个支持工具的多线程Java验证系统。 （英语） Zbl 1254.68055号 de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。2002年11月5日至8日在荷兰莱顿举行的2002年FMCO第一次国际研讨会。修订的讲座。柏林：施普林格出版社（ISBN 3-540-20303-6/pbk）。莱克特。注释计算。科学。2852，1-32（2003年）。MSC公司：68甲15 68甲19 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám}等人，Lect。注释计算。科学。2852，1--32（2003年；Zbl 1254.68055） 全文： 内政部
艾丽卡·阿尔布拉汉姆;德波尔（Frank S。;威廉·鲍尔·德·罗弗;马丁·斯特芬 Java显示器的防感应轮廓。 （英语） Zbl 1253.68080号 Najm，Elie（编辑）等，开放式基于对象的分布式系统的形式化方法。第六届IFIP工作组6.1国际会议，2003年FMOODS，2003年11月19-21日，法国巴黎。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20491-1/pbk）。莱克特。注释计算。科学。2884, 155-169 (2003).MSC公司：68甲15 03B70号 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám}等人，Lect。注释计算。科学。2884155--169（2003年；Zbl 1253.68080） 全文： 内政部
艾丽卡·阿尔布拉哈姆·穆姆;德波尔（Frank S。;威廉·鲍尔·德·罗弗;马丁·斯特芬 验证Java的可重入多线程概念。 （英语） 兹比尔1077.68552 Nielsen，Mogens（编辑）等人，《软件科学和计算结构基础》。2002年4月8日至12日在法国格勒诺布尔举行的第五届国际会议FOSSACS 2002，是欧洲软件理论与实践联合会议ETAPS 2002的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43366-X）。莱克特。注释计算。科学。2303, 5-20 (2002).MSC公司：68甲15 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám-Mumm}等人，Lect。注释计算。科学。2303，5--20（2002；Zbl 1077.68552） 全文： 链接