×

找到30个文档（结果1-30）

最新的 引文 关联
Wil M.P.范德阿尔斯特。

并发和对象很重要！解开真实操作流程的结构，创建数字双胞胎。 （英语） Zbl 07500634号

Cerone，Antonio（编辑）等人，《计算的理论方面——ICTAC 2021》。2021年9月8日至10日，哈萨克斯坦努尔苏尔坦，第18届国际学术讨论会，虚拟活动。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12819, 3-17 (2021).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{W.M.P.van der Aalst}，莱克特。注释计算。科学。12819，3-17（2021；Zbl 07500634）
全文： DOI程序
沃尔夫·齐默尔曼；曼迪·魏巴赫

使用抽象状态机对同步和异步过程的语义进行建模的框架。 （英语） 兹比尔07495067

亚历山大·拉施克（编辑）等人，《逻辑、计算和严格方法》。在伊贡·博格尔75岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。12750, 326-352 (2021).
MSC公司：68倍 03年XX月
PDF格式BibTeX公司 XML格式引用
\textit{W.Zimmermann}和\textit{M.Weißbach}，Lect。注释计算。科学。12750326--352（2021；Zbl 07495067）
全文： DOI程序
迈克尔·J·诺斯。；查尔斯·马卡尔（Charles M.Macal）。

基于代理的建模和计算机语言。 （英语） Zbl 07309900号

Sotomayor，Marilda（编辑）等人，《复杂的社会和行为系统》。博弈论和基于主体的模型。纽约州纽约：施普林格。附件。复杂。系统。科学。序列号。，865-889 (2020).
MSC公司：68倍
PDF格式BibTeX公司 XML格式引用
\textit{M.J.North}和\textit{C.M.Macal}，in：复杂的社会和行为系统。博弈论和基于主体的模型。纽约州纽约：施普林格。865--889（2020；Zbl 07309900）
全文： DOI程序
西蒙·马提尼

编程语言中的类型，介于建模、抽象和正确性（扩展抽象）之间。 （英语） Zbl 1475.68049号

贝克曼，阿诺德（编辑）等人，《追求宇宙》。第十二届欧洲可计算性会议，2016年6月27日至7月1日，法国巴黎，CiE 2016。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9709, 164-169 (2016).
MSC公司：68甲15
PDF格式BibTeX公司 XML格式引用
\textit{S.Martini}，莱克特。注释计算。科学。9709164-169（2016年；Zbl 1475.68049）
全文： DOI程序
吉姆·戴维斯；戴维·费特尔森；詹姆斯·韦尔奇

对象模型的领域特定语义和数据细化。 （英语） Zbl 1279.68184号

Moreira，Anamaria Martins（编辑）等人，《巴西正式方法研讨会论文集》（SBMF 2006），Natal，Rio Grande de Norte，巴西，2006年9月17日至23日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记195，151-170（2008）。
MSC公司：68问题55 68号30
PDF格式BibTeX公司 XML格式引用
\textit{J.Davies}等人，《电子》。注释Theor。计算。科学。195151-170（2008年；Zbl 1279.68184）
全文： DOI程序
哈特穆特·埃里格；伯恩德·马赫

TAPSOFT的十年。软件开发理论和实践方面的进展和前景。 （英语） Zbl 1496.68077号

Mosses，Peter D.（编辑）等人，《TAPSOFT’95：软件开发的理论与实践》。1995年5月在丹麦奥胡斯举行的第六届CAAP/FASE国际联席会议。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。915, 3-24 (1995).
MSC公司：68号01 68号30 2012年第68季度 60年第68季度 68问题65 68-02 68-03
PDF格式BibTeX公司 XML格式引用
\textit{H.Ehrig}和\textit{B.Mahr}，莱克特。注释计算。科学。915，3--24（1995年；Zbl 1496.68077）
全文： DOI程序
卢卡·卡德利；约翰·米切尔（John C.Mitchell）。

记录操作（摘要）。 （英语） Zbl 1509.68046号

Main，M.（ed.）等人，《编程语义的数学基础》。第五届国际会议，1989年3月29日至4月1日，美国路易斯安那州新奥尔良。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。442, 22-52 (1990).
MSC公司：68甲19 03B70号 68甲15 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{L.Cardelli}和\textit{J.C.Mitchell}，莱克特。注释计算。科学。442、22-52（1990年；Zbl 1509.68046）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件