×

找到12040个文档（结果1-100）

最新的 引文 关联
马西耶·库特尼（编辑）;罗宾·伯根瑟姆（编辑）;吉安弗兰科·西亚多（编辑）

Petri网事务和其他并发模型XVII。 （英语） Zbl 07815713号

计算机科学课堂讲稿14150.日记账子行。柏林：施普林格出版社（ISBN 978-3-662-68190-9/pbk；978-3-562-68191-6/电子书）。十八、295页。(2024).
MSC公司：68-06 68问题85 00B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{M.Koutny}（编辑）等，《Petri网和其他并发模型事务》十七。柏林：施普林格（2024；Zbl 07815713）
全文： 内政部
最好的，艾克;雷蒙德·魔鬼队

Petri网引物。核心模型、分析和综合概要。 （英语） Zbl 07815669号

计算机科学基础与应用逻辑查姆：Birkhä用户（ISBN 978-3-031-48277-9/hbk；978-3-331-48280-9/pbk；978-10-31-48278-6/电子书）。xiii，545页。(2024).
MSC公司：68-01 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{E.Best}和\textit{R.Devillers}，Petri网引物。核心模型、分析和综合概要。查姆：Birkhäuser（2024；Zbl 07815669）
全文： 内政部
大卫·巴兹勒;ter Beek，Maurice H。

编配合成的研究挑战。 （英语） Zbl 07820786号

Aubert，Clément（ed.）等人，《第16届交互和并发体验研讨会论文集》，ICE 2023，葡萄牙里斯本，2023年6月19日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）38373-90（2023年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.Basile}和\textit{M.H.ter-Beek}，电子。程序。西奥。计算。科学。（EPTCS）383、73--90（2023；Zbl 07820786）
全文： 内政部 arXiv公司
马内尔·巴卡拉;Jean-Marie雅克

关于巴赫作品中保护列表的引入：表达性、正确性和效率问题。 （英语） Zbl 07820785号

Aubert，Clément（ed.）等人，《第16届交互和并发体验研讨会论文集》，ICE 2023，葡萄牙里斯本，2023年6月19日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）38355-72（2023年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Barkallah}和\textit{J.-M.Jacquet}，电子。程序。西奥。计算。科学。（EPTCS）383、55--72（2023；Zbl 07820785）
全文： 内政部 arXiv公司
塞耶德·侯赛因·海里;彼得·汤普森（Peter W.Thompson）。;彼得·范罗伊;马格尼·哈夫雷恩;尼尔·J·戴维斯。;米哈伊尔·巴拉什;凯文·哈蒙德;詹姆斯·查普曼

关于及时性的代数推理。 （英语） Zbl 07820784号

Aubert，Clément（ed.）等人，《第16届交互和并发体验研讨会论文集》，ICE 2023，葡萄牙里斯本，2023年6月19日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）38335-54（2023年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.H.Haeri}等人，《电子》。程序。西奥。计算。科学。（EPTCS）383、35--54（2023；Zbl 07820784）
全文： 内政部 arXiv公司
佛朗哥·巴巴内拉;马里亚纽拉州Dezani-Ciancaglini

部分键入的多方会话。 （英语） Zbl 07820783号

Aubert，Clément（ed.）等人，《第16届交互和并发体验研讨会论文集》，ICE 2023，葡萄牙里斯本，2023年6月19日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）383，15-34（2023）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.Barbanera}和\textit{M.Dezani-Ciancaglini}，电子。程序。西奥。计算。科学。（EPTCS）383，15--34（2023；Zbl 07820783）
全文： 内政部 arXiv公司
沃尔夫冈·杰利奇;哈维尔·迪亚斯

关于网络通信的证据：针对人类和机器。 （英语） 兹伯利07820782

Aubert，Clément（ed.）等人，《第16届交互和并发体验研讨会论文集》，ICE 2023，葡萄牙里斯本，2023年6月19日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）383，1-14（2023）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{W.Jeltsch}和\textit{J.Díaz}，电子。程序。西奥。计算。科学。（EPTCS）383，1-14（2023；Zbl 07820782）
全文： 内政部 arXiv公司
克莱门·奥伯特（编辑）;辛齐亚·迪·朱斯托（编辑）;西蒙·福勒（编辑）;拉里萨·萨芬娜（编辑）

第16届交互和并发体验研讨会会议记录，ICE 2023，葡萄牙里斯本，2023年6月19日。 （英语） Zbl 1522.68014号

理论计算机科学电子论文集（EPTCS）383.滑铁卢：开放出版协会（OPA）。90页。，仅电子化、开放存取（2023年）。
MSC公司：68-06 68问题85 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{C.Aubert}（ed.）等人，第16届交互和并发体验研讨会论文集，ICE 2023，葡萄牙里斯本，2023年6月19日。滑铁卢：开放出版协会（OPA）（2023；Zbl 1522.68014）
全文： 内政部 arXiv公司 链接
彼得·格约尔·詹森;金·古德斯特兰·拉森;吉·斯尔巴;尼古拉·延森·乌尔里克

在依存关系图验证中消除分离区域。 （英语） Zbl 07750361号

Caltais，Georgiana（编辑）等人，《模型检查软件》。第29届国际研讨会，2023年4月26日至27日，法国巴黎，SPIN 2023。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13872, 163-179 (2023).
MSC公司：60年第68季度 03B44号 68问题85 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{P.G.Jensen}等人，Lect。注释计算。科学。13872，163-179（2023；Zbl 07750361）
全文： 内政部
布赖恩特·伊斯雷尔森;兰登·泰勒;张震

化学反应网络中稀土分析的高效痕量生成。 （英语） 兹伯利07750357

Caltais，Georgiana（编辑）等人，《模型检查软件》。第29届国际研讨会，2023年4月26日至27日，法国巴黎，SPIN 2023。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13872, 83-102 (2023).
MSC公司：68问题85 92立方厘米 92E20型
PDF格式BibTeX公司 XML格式引用
\textit{B.Israelsen}等人，Lect。注释计算。科学。13872，83-102（2023；Zbl 07750357）
全文： 内政部
丘克里·苏伊迪;伊利耶斯·法尔科内

声音并发跟踪用于在线监测。 （英语） Zbl 07750356号

Caltais，Georgiana（编辑）等人，《模型检查软件》。第29届国际研讨会，2023年4月26日至27日，法国巴黎，SPIN 2023。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13872, 59-80 (2023).
MSC公司：68问题85 第68页第19页 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Soueidi}和\textit{Y.Falcone}，莱克特。注释计算。科学。13872，59-80（2023；Zbl 07750356）
全文： 内政部 arXiv公司 哈尔
吉列尔莫·A·佩雷斯。（编辑）;Jean-François拉斯金（编辑）

第34届并发理论国际会议，CONCUR 2023，安特卫普，比利时，2023年9月18-23日。 （英语） Zbl 1522.68040号

LIPIcs–莱布尼茨国际信息学会议录279.瓦登：达格斯图尔宫-莱布尼兹·泽特鲁姆宫（ISBN 978-3-95977-299-0）。ix，39篇文章，非连续页面，仅电子版，开放存取（2023年）。
MSC公司：68-06 68问题85 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{G.A.Pérez}（编辑）和\textit{J.-F.Raskin}（编），第34届并发理论国际会议，CONCUR 2023，比利时安特卫普，2023年9月18-23日。Wadern：达格斯图尔宫——莱布尼兹·泽特鲁姆·福尔·Informatik（2023；Zbl 1522.68040）
全文： 内政部 链接
杨，范;圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔;圣地亚哥，索尼娅

通过过程代数语义将具有选择的空间串起来。 （英语） Zbl 1529.94036号

Lopez-Garcia，Pedro（编辑）等人，《声明式编程和智能系统的分析、验证和转换》。在曼努埃尔·赫尔梅内吉尔多60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13160, 307-350 (2023).
MSC公司：94A60型 68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.Yang}等人，Lect。注释计算。科学。13160307--350（2023年；Zbl 1529.94036）
全文： 内政部 arXiv公司
玛丽亚·阿尔普特;巴利斯，德米斯;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔;朱莉娅·萨皮娜

通过程序专业化优化Maude程序。 （英语） Zbl 1529.68130号

Lopez-Garcia，Pedro（编辑）等人，《声明式编程和智能系统的分析、验证和转换》。在曼努埃尔·赫尔梅内吉尔多60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13160, 21-50 (2023).
MSC公司：2012年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Alpunte}等人，Lect。注释计算。科学。13160，21-50（2023；Zbl 1529.68130）
全文： 内政部
布兰德，塞巴斯蒂安;托马斯·伯克;阿尔芬斯·拉阿尔曼

可达性的决策图操作。 （英语） Zbl 1529.68153号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 514-532 (2023).
MSC公司：60年第68季度 68第05页 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Brand}等人，Lect。注释计算。科学。14000，514--532（2023；Zbl 1529.68153）
全文： 内政部 arXiv公司
罗伯特·J·科尔文。

弱内存模型下数组和指针的细粒度语义。 （英语） Zbl 1529.68177号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 301-320 (2023).
MSC公司：68问题85 第68页第19页 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{R.J.Colvin}，莱克特。注释计算。科学。14000，301-320（2023；Zbl 1529.68177）
全文： 内政部
海克·卫尔海姆;劳拉·巴格曼;布里杰什·多戈尔

在具有事件结构的弱记忆模型中推理承诺。 （英语） Zbl 1529.68181号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000、282-300（2023年）。
MSC公司：68问题85 03B70号 第68页第19页 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{H.Wehrheim}等人，Lect。注释计算。科学。14000、282至300（2023年；兹比尔1529.68181）
全文： 内政部 arXiv公司 链接
文森佐·西安西亚;Jan Friso，格鲁特;迭戈·拉泰拉;马辛克，米克;埃里克·P·德文克。

使用分支双相似性最小化空间模型。 （英语） 兹比尔1529.68155

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 263-281 (2023).
MSC公司：60年第68季度 03B70号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{V.Ciancia}等人，Lect。注释计算。科学。14000，263--281（2023；Zbl 1529.68155）
全文： 内政部
伯克·西里西;康斯坦丁·埃纳;阿扎德法尔赞;苏哈·奥伦·穆特鲁吉尔

有状态部分顺序缩减的实用方法。 （英语） Zbl 1529.68156号

Dragoi，Cezara（编辑）等人，《验证、模型检查和抽象解释》。第24届国际会议，VMCAI 2023，美国马萨诸塞州波士顿，2023年1月16-17日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13881, 129-154 (2023).
MSC公司：60年第68季度 68号30 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{B.Cirisci}等人，Lect。注释计算。科学。13881、129--154（2023年；Zbl 1529.68156）
全文： 内政部 arXiv公司
奥拉夫·邦特;Louis C.M.范古尔。;Tim A.C.Willemse。

更改通信模型时保留属性。 （英语） Zbl 07726607号

Gąsieniec，Leszek（编辑），SOFSEM 2023：计算机科学的理论与实践。第48届计算机科学理论和实践当前趋势国际会议，SOFSEM 2023，斯洛伐克，11月15日至18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13878, 239-253 (2023).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛O.Bunte｝等人，Lect。注释计算。科学。13878，239--253（2023；Zbl 07726607）
全文： 内政部 arXiv公司
玛丽克·赫斯曼（编辑）;安托尼奥·拉瓦拉（编辑）

分布式对象、组件和系统的形式化技术。第43届IFIP WG 6.1国际会议，FORTE 2023，作为第18届分布式计算技术国际联合会议的一部分，于2023年6月19-23日在葡萄牙里斯本举行。诉讼程序。 （英语） Zbl 1528.68029号

计算机科学课堂讲稿13910.查姆：施普林格（ISBN 978-3-031-35354-3/pbk；978-3-331-35355-0/电子书）。xiv，225页。(2023).
MSC公司：68-06 64岁以下 68问题85 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{M.Huisman}（编辑）和\textit{A.Ravara}（主编），分布式对象、组件和系统的形式化技术。第43届IFIP WG 6.1国际会议，FORTE 2023，作为第18届分布式计算技术国际联合会议的一部分，DisCoTec 2023，葡萄牙里斯本，2023年6月19-23日举行。诉讼程序。查姆：斯普林格（2023；Zbl 1528.68029）
全文： 内政部
T·卡利亚尼。;萨西卡拉，K。;D.G.托马斯。;Bhuvaneswari，K。

辅助部分数组标记Petri网结构。 （英语） Zbl 1528.68255号

Barneva，Reneta P.（编辑）等人，《组合图像分析》。第21届国际研讨会，IWCIA 2022，墨西拿，意大利，2022年7月13日至15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13348, 189-203 (2023).
MSC公司：68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Kalyani}等人，Lect。注释计算。科学。13348，189--203（2023；Zbl 1528.68255）
全文： 内政部
路易斯·戈麦斯（编辑）;罗伯特·洛伦茨（编辑）

Petri网与并发的应用与理论。第44届国际会议，Petri NETS 2023，葡萄牙里斯本，2023年6月25-30日。诉讼程序。 （英语） Zbl 1524.68003号

计算机科学课堂讲稿13929.查姆：施普林格（ISBN 978-3-031-33619-5/pbk；978-3-331-33620-1/电子书）。xv，466页。(2023).
MSC公司：68-06 68问题85 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{L.Gomes}（编辑）和\textit{R.Lorenz}（主编），Petri网和并发的应用和理论。第44届国际会议，Petri NETS 2023，葡萄牙里斯本，2023年6月25-30日。诉讼程序。查姆：斯普林格（2023；Zbl 1524.68003）
全文： 内政部
卡洛斯·阿尔贝托，拉米雷斯·雷斯特雷波;Juan C.Jaramillo。;佩雷斯（Jorge A.Pérez）。

Maude中基于会话的并发：可执行语义和类型检查。 （英语） Zbl 1512.68173号

J.日志。阿尔盖布。方法计划。 133，文章ID 100872，42 p.（2023）.
MSC公司：68问题85 2012年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.A.Ramírez Restrepo}等人，J.Log。阿尔盖布。方法程序。133，文章ID 100872，42 p.（2023；Zbl 1512.68173）
全文： 内政部
马文·格拉赫;弗洛里安·赫伦;马丁·朗

貘：用于拓扑、振幅、部分分数分解和减少输入的工具。 （英语） Zbl 1523.81197号

计算。物理学。Commun公司。 282，文章ID 108544，第18页（2023）.
MSC公司：81V35型 第81页，共15页 81T15型 80年第30季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Gerlach}等人，计算。物理学。Commun公司。282，文章ID 108544，18 p.（2023；Zbl 1523.81197）
全文： 内政部 arXiv公司
罗伊，索维克;阿努什里·巴塔查吉;Chandrashekar拉德哈克里希南;马里兰州马尼鲁·阿里;Biplab Ghosh

在相干和非相干基础上探索二体混合态的量子特性。 （英语） Zbl 1516.81126号

国际量子信息。 21，第2号，文章ID 2350010，21 p.（2023）.
MSC公司：81兰特 81页40页 68问题85 81页第42页 94甲17 第81页第48页 81页第47页
PDF格式BibTeX公司 XML格式引用
\textit{S.Roy}等人，《国际量子信息》21，第2期，文章ID 2350010，21页（2023年；Zbl 1516.81126）
全文： 内政部 arXiv公司
穆罕默德·阿提夫;Jan Friso，格鲁特

了解使用mCRL2的分布式系统的行为。 （英语） Zbl 1516.68001号

系统、决策和控制研究458.查姆：施普林格（ISBN 978-3-031-23007-3/hbk；978-3-331-23010-3/pbk；978-1-3031-23008-0/电子书）。第十五卷，235页。(2023).
MSC公司：68-01 64岁以下 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Atif}和\textit{J.F.Groote}，理解使用mCRL2的分布式系统的行为。查姆：斯普林格（2023；Zbl 1516.68001）
全文： 内政部
马蒂奥·奇米尼

Lang-n-Send公司扩展：向监视器发送正则表达式。 （英语） Zbl 07811914号

Aubert，Clément（ed.）等人，《第十五届交互和并发体验研讨会论文集》，ICE 2022，意大利卢卡，2022年6月17日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）365、69-84（2022）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Cimini}，电子。程序。西奥。计算。科学。（EPTCS）365、69--84（2022；Zbl 07811914）
全文： 内政部 arXiv公司
佛朗哥·巴巴内拉;伊万·拉内斯;埃米利奥·托斯托

关于组成通信系统。 （英语） Zbl 07811913号

Aubert，Clément（ed.）等人，第15届交互和并发体验研讨会论文集，ICE 2022，意大利卢卡，2022年6月17日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）365、53-68（2022）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.Barbanera}等人，《电子》。程序。西奥。计算。科学。（EPTCS）365，53-68（2022；Zbl 07811913）
全文： 内政部 arXiv公司
吕克·爱迪克索芬;宋世宗曼;何塞·普伦萨;吉尔勒米纳·克莱杜

编舞用的分叉的绒头。 （英语） Zbl 07811912号

Aubert，Clément（ed.）等人，《第十五届交互和并发体验研讨会论文集》，ICE 2022，意大利卢卡，2022年6月17日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）365，37-52（2022）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.Edixhoven}等人，《电子》。程序。西奥。计算。科学。（EPTCS）365，37-52（2022；Zbl 07811912）
全文： 内政部 arXiv公司
杰勒德·塔博内;阿德里安·弗兰卡兰扎

的会话保真度ElixirST（灵丹妙药）：用于elixir模块的基于会话的类型系统。 （英语） Zbl 07811911号

Aubert，Clément（ed.）等人，《第十五届交互和并发体验研讨会论文集》，ICE 2022，意大利卢卡，2022年6月17日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）365，17-36（2022）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{G.Tabone}和\textit{A.Francalanza}，电子。程序。西奥。计算。科学。（EPTCS）365，17-36（2022；Zbl 07811911）
全文： 内政部 arXiv公司
爱德华·坎伯扬;内森·瓦瑟

正确的非确定性：使用并发来验证具有未指定语义的C程序。 （英语） Zbl 07811910号

Aubert，Clément（ed.）等人，第15届交互和并发体验研讨会论文集，ICE 2022，意大利卢卡，2022年6月17日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）365，1-16（2022）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛E.Kamburjan｝和\textit｛N.Wasser｝，Electron。程序。西奥。计算。科学。（EPTCS）365，1--16（2022；Zbl 07811910）
全文： 内政部 arXiv公司
乔纳森·鲍文（Jonathan P.Bowen）。

书评：C.B.Jones（编辑）和J.Misra（编辑），编程理论。托尼·霍尔的生活和作品。 （英语） Zbl 07809174号

正式Asp。计算。 34，第3-4期，第14号论文，第3页（2022年）.
MSC公司：00A17年 68-06 01A70型 68-03 68号30 68问题55 68问题85 00B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{J.P.Bowen}，正式Asp。计算。34，第3-4号，第14号论文，第3页（2022；Zbl 07809174）
全文： 内政部
吉诺维斯，法布里齐奥·罗曼诺;福斯科·洛雷吉安;丹尼尔·帕洛姆比

有界Petri网的范畴语义。 （英语） Zbl 1530.68192号

Kishida，Kohei（编辑），《2021年第四届应用范畴理论国际会议论文集》，ACT 2021，英国剑桥，2021年7月12-16日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）37259-71（2022）。
MSC公司：68问题85 18 C50
PDF格式BibTeX公司 XML格式引用
\textit{F.R.Genovese}等人，《电子》。程序。西奥。计算。科学。（EPTCS）372，59--71（2022；Zbl 1530.68192）
全文： arXiv公司 链接
费利克斯·斯图兹;达米安·祖弗里

比较通信状态机、高级消息序列图和多方会话类型的通道限制。 （英语） Zbl 1530.68193号

Ganty，Pierre（编辑）等人，第13届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2022，西班牙马德里，2022年9月21日至23日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）370194-212（2022）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.Stutz}和\textit{D.Zufferey}，电子。程序。西奥。计算。科学。（EPTCS）370194--212（2022；Zbl 1530.68193）
全文： arXiv公司 链接
吉安·卡洛·阿吉雷·萨姆博尼;斯特凡·哈尔;洛伊奇·波列维;斯特凡·施温;尼克·Würdemann

避免厄运：在Petri网中寻找悬崖配置。 （英语） Zbl 1530.68189号

Ganty，Pierre（ed.）等人，第13届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2022，西班牙马德里，2022年9月21-23日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）370178-193（2022）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛G.K.Aguirre Samboní｝等人，电子。程序。西奥。计算。科学。（EPTCS）370178--193（2022年；Zbl 1530.68189）
全文： arXiv公司 链接
哈达尔·弗兰克尔;莎莱·申瓦尔德

可实现且无上下文的超语言。 （英语） 兹比尔1530.68191

Ganty，Pierre（编辑）等人，第13届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2022，西班牙马德里，2022年9月21日至23日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）370114-130（2022）。
MSC公司：68问题85 2012年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Frenkel}和\textit{S.Sheinvald}，电子。程序。西奥。计算。科学。（EPTCS）370114-130（2022年；Zbl 1530.68191）
全文： arXiv公司 链接
安娜·菲利普;基里亚基·帕萨拉

在单个令牌解释下反转Petri网中的令牌多重性。 （英语） Zbl 07800873号

Castiglioni，Valentina（编辑）等人，第29届并发表达性国际研讨会和第19届结构操作语义研讨会合集，EXPRESS/SOS 2022，波兰华沙，2022年9月12日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）368131-150（2022）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Philippou}和\textit{K.Psara}，电子。程序。西奥。计算。科学。（EPTCS）368131-150（2022；Zbl 07800873）
全文： arXiv公司 链接
柯斯汀·彼得斯;吉田信子

关于混合选择会话的表达能力。 （英语） Zbl 07800872号

Castiglioni，Valentina（编辑）等人，第29届并发表达性国际研讨会和第19届结构操作语义研讨会合集，EXPRESS/SOS 2022，波兰华沙，2022年9月12日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）368113-130（2022）。
MSC公司：68问题85 第68页第19页
PDF格式BibTeX公司 XML格式引用
\textit{K.Peters}和\textit{N.吉田}，电子。程序。西奥。计算。科学。（EPTCS）368113--130（2022；Zbl 07800872）
全文： arXiv公司 链接
斯迪安·利贝奇

反射式高阶微积分的可编码性和分离性。 （英语） Zbl 07800871号

Castiglioni，Valentina（编辑）等人，第29届并发表达性国际研讨会和第19届结构操作语义研讨会合集，EXPRESS/SOS 2022，波兰华沙，2022年9月12日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）36895-112（2022）。
MSC公司：68问题85 03B70号
PDF格式BibTeX公司 XML格式引用
\textit｛S.Lybech｝，电子。程序。西奥。计算。科学。（EPTCS）368，95--112（2022；Zbl 07800871）
全文： arXiv公司 链接
巴斯·范登·胡维尔;佩雷斯（Jorge A.Pérez）。

异步功能会话：循环和并发。 （英语） Zbl 07800870号

Castiglioni，Valentina（编辑）等人，第29届并发表达性国际研讨会和第19届结构操作语义研讨会合集，EXPRESS/SOS 2022，波兰华沙，2022年9月12日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）36875-94（2022年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{B.van den Heuvel}和\textit{J.A.Pérez}，电子。程序。西奥。计算。科学。（EPTCS）368，75--94（2022；Zbl 07800870）
全文： arXiv公司 链接
杰拉尔德·埃肯贝·恩贡迪;瓦西里奥斯·库塔瓦斯;安德鲁·巴特菲尔德

从CCS到CSP：中间同步方法。 （英语） Zbl 07800869号

Castiglioni，Valentina（编辑）等人，第29届并发表达性国际研讨会和第19届结构操作语义研讨会合集，EXPRESS/SOS 2022，波兰华沙，2022年9月12日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）368，60-74（2022）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{G.E.Ngondi}等人，《电子》。程序。西奥。计算。科学。（EPTCS）368，60--74（2022；Zbl 07800869）
全文： arXiv公司 链接
亚历克斯·罗宁·本迪克森;博杰森，比亚克布雷多;汉斯·休特尔;斯迪安·利贝奇

高阶计算的泛型类型系统。 （英语） Zbl 07800868号

Castiglioni，Valentina（编辑）等人，第29届并发表达性国际研讨会和第19届结构操作语义研讨会合集，EXPRESS/SOS 2022，波兰华沙，2022年9月12日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）368，43-59（2022）。
MSC公司：68问题85 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{A.R.Bendixen}等人，《电子》。程序。西奥。计算。科学。（EPTCS）368，43-59（2022；Zbl 07800868）
全文： arXiv公司 链接
西尔维娅·克拉法

从法律契约到法律计算：代码驱动的规范性。 （英语） Zbl 07800867号

Castiglioni，Valentina（编辑）等人，第29届并发表达性国际研讨会和第19届结构操作语义研讨会合集，EXPRESS/SOS 2022，波兰华沙，2022年9月12日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）368，23-42（2022）。
MSC公司：68问题85 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{S.Crafa}，电子。程序。西奥。计算。科学。（EPTCS）368，23--42（2022；Zbl 07800867）
全文： arXiv公司 链接
克莱门·奥伯特;罗斯·霍恩;克里斯蒂安·约翰森

互不干涉应用（pi）演算中关于持续时间和因果关系的互模拟。 （英语） Zbl 07800866号

Castiglioni，Valentina（编辑）等人，第29届并发表达性国际研讨会和第19届结构操作语义研讨会合集，EXPRESS/SOS 2022，波兰华沙，2022年9月12日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）368，3-22（2022）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{C.Aubert}等人，《电子》。程序。西奥。计算。科学。（EPTCS）368，3--22（2022；Zbl 07800866）
全文： arXiv公司 链接
瓦伦蒂娜·卡斯蒂格利奥尼（编辑）;克劳迪奥·梅齐纳。（编辑）

2022年9月12日，波兰华沙，2022年EXPRESS/SOS 2022，第29届并发表达性国际研讨会和第19届结构操作语义研讨会合集。 （英语） Zbl 1522.68022号

理论计算机科学电子论文集（EPTCS）368.滑铁卢：开放出版协会（OPA）。150页。，仅电子化、开放存取（2022年）。
MSC公司：68-06 68问题55 68问题85 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{V.Castiglioni}（ed.）和\textit{C.A.Mezzina}（edi.），第29届并发表达性国际研讨会和第19届结构操作语义研讨会的会议记录，EXPRESS/SOS 2022，波兰华沙，2022年9月12日。滑铁卢：开放出版协会（OPA）（2022；Zbl 1522.68022）
全文： 内政部 arXiv公司 链接
克莱门·奥伯特（编辑）;辛齐亚·迪·朱斯托（编辑）;拉里萨·萨芬娜（编辑）;阿尔切斯特·斯卡拉斯（编辑）

第15届交互和并发体验研讨会会议记录，ICE 2022，卢卡，意大利，2022年6月17日。 （英语） Zbl 1522.68015号

理论计算机科学电子论文集（EPTCS）365.滑铁卢：开放出版协会（OPA）。第84页。，仅电子化、开放存取（2022年）。
MSC公司：68-06 68问题85 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{C.Aubert}（ed.）等人，第十五届交互和并发体验研讨会论文集，ICE 2022，意大利卢卡，2022年6月17日。滑铁卢：开放出版协会（OPA）（2022；Zbl 1522.68015）
全文： 内政部 arXiv公司 链接
Aceto，卢卡;安东尼斯·阿奇利奥斯;埃利·阿纳斯塔西亚迪;阿德里安·弗兰卡兰扎;Ingólfsdóttir，安娜;卡罗琳娜·莱赫蒂宁;马蒂亚斯·拉加德·佩德森

关于概率监测。 （英语） Zbl 1528.68246号

Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13660, 325-342 (2022).
MSC公司：68问题85 60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Aceto}等人，Lect。注释计算。科学。13660325--342（2022年；Zbl 1528.68246）
全文： 内政部
Larsen，Kim G。;克里斯蒂安·席林;吉·斯尔巴

形式化方法中的模拟关系和应用。 （英语） Zbl 1528.68188号

Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13660, 272-291 (2022).
MSC公司：65年第68季度 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{K.G.Larsen}等人，Lect。注释计算。科学。13660272--291（2022年；Zbl 1528.68188）
全文： 内政部
爱德华·A·李。;马滕·洛斯特罗

概括逻辑执行时间。 （英语） Zbl 1528.68072号

Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13660, 160-181 (2022).
MSC公司：第68页第19页 68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛E.A.Lee｝和\textit｛M.Lohstroh｝，Lect。注释计算。科学。13660160-181（2022年；Zbl 1528.68072）
全文： 内政部
杰夫·汉密尔顿。;本杰明·阿齐兹

排除：转换\（\pi\）-演算规范以删除内部通信。 （英语） 兹比尔1528.68252

利马，卢卡斯（编辑）等人，《形式方法：基础和应用》。第25届巴西研讨会，SBMF 2022，虚拟活动，2022年12月6日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13768, 109-123 (2022).
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.W.Hamilton}和\textit{B.Aziz}，莱克特。注释计算。科学。13768、109-123（2022年；Zbl 1528.68252）
全文： 内政部
卢西亚诺·席尔瓦;马塞尔·奥利维拉

使用VHDL自动生成经过验证的并发硬件。 （英语） Zbl 1528.68053号

利马，卢卡斯（编辑）等人，《形式方法：基础和应用》。第25届巴西研讨会，SBMF 2022，虚拟活动，2022年12月6日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13768, 55-72 (2022).
MSC公司：68甲15 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.Silva}和\textit{M.Oliveira}，莱克特。注释计算。科学。13768，55-72（2022；Zbl 1528.68053）
全文： 内政部
M.H.班杜卡拉。;北卡罗来纳州齐夫列科斯。

新生注册自动机的即时双相似性检查。 （英语） Zbl 1528.68172号

董伟（编辑）等，可靠软件工程。理论、工具和应用。第八届国际研讨会，SETTA 2022，中国北京，2022年10月27日至29日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13649, 187-204 (2022).
MSC公司：65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.H.Bandukara}和\textit{N.Tzevelekos}，莱克托。注释计算。科学。13649187-204（2022年；Zbl 1528.68172）
全文： 内政部
王超;古斯塔沃·佩特里;吕毅;朗，腾;刘志明

TSO内存模型上并发对象的活动性的决定。 （英语） 兹比尔1528.68073

董伟（编辑）等，可靠软件工程。理论、工具和应用。第八届国际研讨会，SETTA 2022，中国北京，2022年10月27日至29日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13649, 149-165 (2022).
MSC公司：第68页第19页 68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛C.Wang｝等人，Lect。注释计算。科学。13649，149--165（2022；Zbl 1528.68073）
全文： 内政部 arXiv公司
工资制造者，贾纳;内特·福斯特;托比亚斯·卡佩;德克斯特·科赞;朱里安·罗特;亚历山德拉·席尔瓦

并发NetKAT。建模和分析有状态的并发网络。 （英语） Zbl 1528.68259号

谢尔盖，伊利亚（编辑），《编程语言和系统》。2022年4月2日至7日，在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13240, 575-602 (2022).
MSC公司：68问题85 68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{J.Wagemaker}等人，Lect。注释计算。科学。13240575--602（2022；Zbl 1528.68259）
全文： 内政部 arXiv公司
罗布·范格拉贝克

比较\（\pi\）-演算和CCS的表达能力。 （英语） Zbl 1528.68258号

谢尔盖，伊利亚（编辑），《编程语言和系统》。2022年4月2日至7日，在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13240, 548-574 (2022).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.van Glabbeek}，莱克特。注释计算。科学。13240，548--574（2022；Zbl 1528.68258）
全文： 内政部 arXiv公司
宋世宗曼;佩特拉·范登博斯

舞蹈编排的谓词转换器。计算舞蹈编程中的先决条件。 （英语） Zbl 1528.68080号

谢尔盖，伊利亚（编辑），《编程语言和系统》。2022年4月2日至7日，在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13240, 520-547 (2022).
MSC公司：68号30 第68页第19页 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.-S.Jongmans}和\textit{P.van den Bos}，莱克特。注释计算。科学。13240520-547（2022年；Zbl 1528.68080）
全文： 内政部
贝洛·卢伦索（Cláudio）;豪尔赫·索萨·平托

Why3-do：和谐分布式系统证明的方法。 （英语） Zbl 1528.68248号

谢尔盖，伊利亚（编辑），《编程语言和系统》。2022年4月2日至7日，在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13240, 114-142 (2022).
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Belo Lourenço}和\textit{J.Sousa Pinto}，莱克托。注释计算。科学。13240，114--142（2022；Zbl 1528.68248）
全文： 内政部
Wil M.P.范德阿尔斯特。

直接发现允许从事件数据中发现完整的Petri网。 （英语） Zbl 1524.68222号

Jansen，Nils（编辑）等人，《从过程代数到时间自动机到模型学习的旅程》。在弗里茨·瓦德拉格60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13560, 539-558 (2022).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{W.M.P.van der Aalst}，莱克特。注释计算。科学。13560539--558（2022年；Zbl 1524.68222）
全文： 内政部
De Nicola，罗科;卢卡·迪·斯特法诺;奥马尔·因弗索;塞雷内拉·瓦利亚尼

处理代数和鸟群。 （英语） Zbl 1524.68214号

Jansen，Nils（编辑）等人，《从过程代数到时间自动机到模型学习的旅程》。献给弗里茨·瓦德拉格60岁生日之际的散文。查姆：斯普林格。莱克特。注释计算。科学。13560, 512-523 (2022).
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.De Nicola}等人，Lect。注释计算。科学。13560512-523（2022年；兹比尔1524.68214）
全文： 内政部
特雷特曼，简;拉蒙·詹森

再见，ioco。 （英语） 兹比尔1524.68196

Jansen，Nils（编辑）等人，《从过程代数到时间自动机到模型学习的旅程》。在弗里茨·瓦德拉格60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13560, 491-511 (2022).
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Tretmans}和\textit{R.Janssen}，莱克特。注释计算。科学。13560491--511（2022年；Zbl 1524.68196）
全文： 内政部
大卫·詹森（David N.Jansen）。;刘欣欣

有根发散保持分支双相似性是一个同余：一个更简单的证明。 （英语） Zbl 1524.68218号

Jansen，Nils（编辑）等人，《从过程代数到时间自动机到模型学习的旅程》。在弗里茨·瓦德拉格60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13560, 358-370 (2022).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.N.Jansen}和\textit{X.Liu}，Lect。注释计算。科学。13560358--370（2022年；Zbl 1524.68218）
全文： 内政部
赫尔曼·盖弗斯

轩尼诗-米尔纳逻辑中的冷漠和区别公式。 （英语） Zbl 1524.68216号

Jansen，Nils（编辑）等人，《从过程代数到时间自动机到模型学习的旅程》。在弗里茨·瓦德拉格60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13560226-282（2022年）。
MSC公司：68问题85 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{H.Geuvers}，莱克特。注释计算。科学。13560266-282（2022年；兹比尔1524.68216）
全文： 内政部
休伯特·加拉维;弗雷德里克·朗

40年后的等效性检查：互模拟工具综述。 （英语） Zbl 1524.68189号

Jansen，Nils（ed.）等人，从过程代数到时间自动机到模型学习的历程。在弗里茨·瓦德拉格60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13560, 213-265 (2022).
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{H.Garavel}和\textit{F.Lang}，莱克特。注释计算。科学。13560213--265（2022年；Zbl 1524.68189）
全文： 内政部 哈尔

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

传记参考

全部的 前3名

软件