Han，晓光;张奎泽;张家辉;李志武;陈增强 离散事件系统的强电流状态和初始状态不透明度。 （英语） 兹比尔1507.93144 Automatica公司 148，文章ID 110756，8 p.（2023）.MSC公司：93元65角 PDF格式BibTeX公司 XML格式引用 \textit{X.Han}等人，Automatica 148，文章ID 110756，8 p.（2023；Zbl 1507.93144） 全文： 内政部 arXiv公司
卢卡·埃特罗;瓦伦蒂娜·卡斯蒂格利奥尼;Wan Fokkink公司;Anna Ingólfsdóttir;巴斯·卢提克 获得并行组合的有限公理化是否需要两个二进制运算符？ （英语） Zbl 1508.68239号 ACM事务处理。计算。日志。 23，第4条，第22条，第56页（2022年）.MSC公司：68问题85 03B70号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人，ACM Trans。计算。日志。23，第4号，第22条，56页（2022年；Zbl 1508.68239） 全文： 内政部 arXiv公司 链接
张奎泽 幺半群上标记加权自动机的可检测性。 （英语） Zbl 1524.68180号 离散事件动态。系统。 32，第3期，435-494（2022年）.MSC公司：65年第68季度 65年第68季度 68问题85 90立方厘米 93个B07 PDF格式BibTeX公司 XML格式引用 \textit{K.Zhang}，离散事件动态。系统。32，编号3，435-494（2022；兹bl 1524.68180） 全文： 内政部 arXiv公司
乌里·法伦贝格;克里斯蒂安·约翰森;乔治·斯特鲁斯;Krzysztof，Zimiañski 以接口作为并发模型的Poset。 （英语） Zbl 1515.68204号 Inf.计算。 285，B部分，文章ID 104914，20 p.（2022）. 审核人：沃尔夫冈·雷西格（柏林） MSC公司：68问题85 06年06月06日 18B35型 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人，《信息计算》。285，B部分，文章ID 104914，20 p.（2022；Zbl 1515.68204） 全文： 内政部 arXiv公司
维克托·莫拉鲁;艾米丽安·古利亚克;塞尔维亚扎波罗詹 基于Z-模糊参数重写随机奖励网的动态可重构系统的不确定性建模。 （英语） Zbl 1518.68235号 计算。科学。J.模具。 29，第3号（87），388-406（2021）.MSC公司：68问题85 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Moraru}等人，计算。科学。J.模具。29，第3号（87），388--406（2021；兹bl 1518.68235） 全文： 链接
雷蒙德·魔鬼队 过渡系统的联接和乘积及其在Petri网综合中的应用。 （英语） Zbl 1522.68360号 芬丹。通知。 183，编号1-2，1-31（2021）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Devillers}，芬丹。通知。183，编号1--2，1--31（2021；Zbl 1522.68360） 全文： 内政部 arXiv公司
张奎泽 离散事件系统分散状态检测和故障诊断/预测的统一方法。 （英语） Zbl 1519.68127号 芬丹。通知。 181，第4期，339-371（2021）.MSC公司：65年第68季度 2017年第68季度 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{K.Zhang}，Fundam。通知。181，编号4，339--371（2021；Zbl 1519.68127） 全文： 内政部 arXiv公司
约瑟夫·布杜;安德烈亚斯·赫齐格;尼古拉斯·特罗夸德 命题赋值动态逻辑中的资源分离。 （英语） Zbl 1518.68203号 J.日志。阿尔盖布。方法计划。 121，文章ID 100683，17 p.（2021）.MSC公司：60年第68季度 03B70号 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Boudou}等人，J.Log。阿尔盖布。方法计划。121，文章ID 100683，17 p.（2021；Zbl 1518.68203） 全文： 内政部 链接
加利福尼亚州米德尔堡。 概率过程代数和策略交错。 （英语） Zbl 1513.68036号 科学。Ann.计算。科学。 30，第2期，205-243（2020）.MSC公司：68问题85 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{C.A.Middelburg}，科学。Ann.计算。科学。30，第2号，205--243（2020；Zbl 1513.68036） 全文： 内政部 arXiv公司
卢卡·埃特罗;埃利·阿纳斯塔西亚迪;瓦伦蒂娜·卡斯蒂格利奥尼;Anna Ingólfsdóttir;巴斯·卢提克;马蒂亚斯·拉加德·佩德森 关于优先权的公理化。三： 优先权再次罢工。 （英语） 兹比尔1452.68124 西奥。计算。科学。 837, 223-246 (2020).MSC公司：68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人，Theor。计算。科学。837223--246（2020年；Zbl 1452.68124） 全文： 内政部
安蒂·瓦尔马里 低于稳定性保持公平测试或CFFD的所有同余。 （英语） Zbl 1452.68128号 学报信息。 57，编号3-5，353-383（2020）. 审核人：艾哈迈特·库萨诺夫（Komsomolsk-om-Amur） MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Valmari}，《信息学报》第57期，第3--5、353--383号（2020年；Zbl 1452.68128） 全文： 内政部
佛朗哥·巴巴内拉;乌戈·德利古罗;罗尔夫·亨尼克 连接通信有限状态机的开放系统。 （英语） Zbl 1435.68211号 J.日志。阿尔盖布。方法计划。 109，文章ID 100476，34 p.（2019）.MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Barbanera}等人，J.Log。阿尔盖布。方法计划。109，文章ID 100476，34 p.（2019；Zbl 1435.68211） 全文： 内政部
汉娜·克劳代尔;马西耶·库特尼;段振华;本·莫斯科夫斯基 从盒代数到区间时序逻辑。 （英语） Zbl 1423.68312号 芬丹。通知。 167，第4号，323-354（2019）.MSC公司：68问题85 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{H.Klaudel}等人，Fundam。通知。167，编号4，323--354（2019；Zbl 1423.68312） 全文： 内政部
Stephan门尼克;托比亚斯·普雷恩 保持公平：对等和组合。 （英语） Zbl 1431.68077号 J.日志。阿尔盖布。方法计划。 104, 1-15 (2019). 审核人：Jörg Desel（哈根） MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Mennicke}和\textit{T.Prehn}，J.Log。阿尔盖布。方法计划。104、1-15（2019年；Zbl 1431.68077） 全文： 内政部
沃尔夫冈·雷西格 具有双面接口的组件的关联组合。 （英语） Zbl 1431.68081号 学报信息。 56，第3号，229-253（2019）. 审核人：Jörg Desel（哈根） MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{W.Reisig}，Acta Inf.56，No.3，229--253（2019；Zbl 1431.68081） 全文： 内政部
克里斯蒂安·马特;尤利·莫雷尔;克里斯托弗·波特曼;雷纳，雷纳托;比约恩·塔克曼 朝向系统的代数理论。 （英语） Zbl 1400.68136号 西奥。计算。科学。 747, 1-25 (2018).MSC公司：68问题85 93B25型 PDF格式BibTeX公司 XML格式引用 \textit{C.Matt}等人，Theor。计算。科学。747，1--25（2018；Zbl 1400.68136） 全文： 内政部 arXiv公司
Ernst-Erich Doberkat 使用coalgebras和Giry monad解释游戏逻辑–教程。 （英语） 兹比尔1403.68139 前面。计算。科学。 11，第6号，948-970（2017）.MSC公司：68问题85 03B45号 03B70号 03G30型 18个C20 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{E.-E.Doberkat}，前面。计算。科学。11，第6号，948--970（2017；Zbl 1403.68139） 全文： 内政部 arXiv公司
T.V.潘琴科。;叶维·伊万诺夫。;Sunmake Fabunmi公司;Skidonenko，A.V.公司。;叶·奥·特罗夫曼科。 IPCL中扩展的动态状态和实例生成模型。 （乌克兰语。英文摘要） Zbl 1413.68017号 视力。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡 2017年，第4127-130号（2017）.MSC公司：68甲15 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{T.V.Panchenko}等人，Visn。，序列号。菲兹-马特·诺基，基辅。进出口大学。Tarasa Shevchenka 2017，第4期，127--130（2017；Zbl 1413.68017）
法本米·桑马德 IPCL中的一些原子操作符语义。 （乌克兰语。英文摘要） Zbl 1413.68019号 视力。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡 2017年第4期，59-62（2017）.MSC公司：68甲19 PDF格式BibTeX公司 XML格式引用 \textit{F.Sunmake}，维森。，序列号。菲兹-马特·诺基，基辅。进出口大学。Tarasa Shevchenka 2017，第4号，第59-62号（2017；Zbl 1413.68019）
贝内维迪斯，马里奥 PDL中具有并行算子的双相似和逻辑等价程序。 （英语） Zbl 1371.68185号 西奥。计算。科学。 685, 23-45 (2017).MSC公司：68问题85 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.贝内维提斯}，提奥。计算。科学。685、23-45（2017年；Zbl 1371.68185） 全文： 内政部
德米特里·扎伊采夫 线性系统家族的序列组成。 （英语） Zbl 1427.68219号 信息科学。 363, 292-307 (2016).MSC公司：68问题85 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{D.Zaitsev}，信息科学。363、292--307（2016；Zbl 1427.68219） 全文： 内政部
亚历克西斯·马雷查尔;迪迪埃·布克斯 概括Petri网模块的组成。 （英语） Zbl 1335.68176号 芬丹。通知。 137，编号1，87-116（2015）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Marechal}和\textit{D.Buchs}，Fundam。通知。137，第1号，87--116（2015；Zbl 1335.68176） 全文： 内政部
保罗·巴尔丹;阿尔贝托·卡拉罗 关于不干涉的因果观点。 （英语） 兹比尔1335.68162 芬丹。通知。 140，第1期，第1-38页（2015年）.MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}和\textit{A.Carraro}，Fundam。通知。140，第1号，1--38（2015；Zbl 1335.68162） 全文： 内政部
T.V.潘琴科。 使用简化状态的并行程序正确性证明方法及其应用。 （英语） Zbl 1340.68017号 视力。，序列号。菲兹-马特·诺基，基辅。美国大学。塔拉萨·舍甫琴卡 2015年第2期，174-177（2015）.MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{T.V.Panchenko}，维森。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡2015，第2期，174--177（2015；Zbl 1340.68017）
休伯特Garavel 重温过程计算中的序列构成。 （英语） 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） 全文： 内政部
奥尔德罗格（Ernst-Rüdiger Olderog）;马尼省斯瓦米纳坦 数据丰富的实时系统的结构转换。 （英语） Zbl 1319.68150号 正式Asp。计算。 27，第4期，727-750（2015）.MSC公司：68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.-R.Olderog}和\textit{M.Swaminathan}，正式Asp。计算。27，第4号，727--750（2015；Zbl 1319.68150） 全文： 内政部
费伦茨·巴伊托;沃尔特·福格勒 接口自动机中的错误修剪。 （英语） Zbl 1328.68136号 西奥。计算。科学。 597, 18-39 (2015).MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Bujtor}和\textit{W.Vogler}，Theor。计算。科学。597，18-39（2015年；兹bl 1328.68136） 全文： 内政部
温特，迈克尔;彼得·肯普夫 余代数序列合成的相关性质。 （英语） Zbl 1434.68306号 J.日志。阿尔盖布。方法计划。 83，第2期，284-299（2014）.MSC公司：68问题65 18B10型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Winter}和\textit{P.Kempf}，J.Log。阿尔盖布。方法计划。83，第2号，284--299（2014；Zbl 1434.68306） 全文： 内政部
德拉甘·伊万诺维奇;曼纽尔·卡罗;曼努埃尔五世（Manuel V.Hermenegildo）。 一种基于共享的方法，用于支持服务组合中的自适应。 （英语） Zbl 1314.68065号 计算 95，第6期，453-492（2013）.MSC公司：64岁以下 68单位35 68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Ivanović}等人，Computing 95，No.6，453--492（2013；Zbl 1314.68065） 全文： 内政部 链接
汤姆·波奇;什尔，昂德;弗朗蒂舍克·普拉舍尔;科夫罗，简 线程行为协议。 （英语） Zbl 1298.68066号 正式Asp。计算。 25，第4期，543-572（2013）.MSC公司：68号30 68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Poch}等人，正式Asp。计算。25，第4号，543--572（2013；Zbl 1298.68066） 全文： 内政部
Sivaramakrishnan，K.C。;穆罕默德·库迪萨特;卢卡斯·齐亚雷克;卡提克·纳加拉杰;帕特里克·尤格斯特 高效会话。 （英语） Zbl 1264.68049号 科学。计算。程序。 78，第2期，147-167（2013）.MSC公司：68甲19 64岁以下 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{K.C.Sivaramakrishnan}等人，科学。计算。程序。78，第2号，147--167（2013；Zbl 1264.68049） 全文： 内政部
佩科、伊凡;什蒂凡·哈达克 高级Petri网的一般组成及其性质。 （英语） Zbl 1284.68430号 美分。欧洲期刊计算。科学。 第2期，第3期，222-235（2012）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Peťko}和\textit{ŠHudák}，美分。欧洲期刊计算。科学。2，第3号，222--235（2012；Zbl 1284.68430） 全文： 内政部
瓦伦蒂安·瓦莱罗;赫梅内吉尔达梅西;胡安·何塞·帕尔多;玛丽亚·艾米利亚·坎布罗内罗;格雷戈里奥·迪亚斯 将具有优先级和时间约束的web服务编排转换为具有优先级的时间着色Petri网。 （英语） Zbl 1243.68042号 科学。计算。程序。 77，第3号，290-313（2012）.MSC公司：68英里11 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{V.Valero}等人，科学。计算。程序。77，第3号，290--313（2012；Zbl 1243.68042） 全文： 内政部
苏珊娜·安多瓦;索尼娅·乔治耶夫斯卡;尼古拉·特里卡 概率系统的分支互模拟同余。 （英语） Zbl 1234.68282号 西奥。计算。科学。 413，编号1，58-72（2012）.MSC公司：68问题85 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{S.Andova}等人，Theor。计算。科学。413，第1号，58--72（2012；Zbl 1234.68282） 全文： 内政部
约泽夫·温科夫斯基 乘法转换系统。 （英语） Zbl 1251.68164号 芬丹。通知。 109，第2期，201-222（2011）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Winkowski}，芬丹。通知。109，第2号，201--222（2011；Zbl 1251.68164） 全文： 内政部
洛伦佐·贝蒂尼;维维亚娜·博诺;贝蒂·文内里 按对象组合进行委派。 （英语） Zbl 1217.68047号 科学。计算。程序。 76，第11期，992-1014（2011）.MSC公司：68甲15 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{L.Bettini}等人，科学。计算。程序。76，第11号，992--1014（2011；Zbl 1217.68047） 全文： 内政部
T.S.帕菲罗娃。 关于将顺序平行组合程序简化为完全顺序形式。 （乌克兰语。英文摘要） Zbl 1224.68053号 视力。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡 2010年第1期，第132-137页（2010年）.MSC公司：68问题55 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{T.S.Parfirova}，维森。，序列号。菲兹-Mat.Nauky，基辅。进出口大学。塔拉萨·舍甫琴卡2010年第1期，第132-137页（2010年；Zbl 1224.68053）
弗雷德里克·朗;格温·萨拉恩;雷米·Hérilier;杰夫·克莱默;杰夫·马吉 将FSP转换为LOTOS和自动机网络。 （英语） Zbl 1214.68220号 正式Asp。计算。 第6号第22页，第681-711页（2010年）.MSC公司：60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Lang}等人，正式Asp。计算。22，第6号，681--711（2010；Zbl 1214.68220） 全文： 内政部
杰拉尔德·吕特根;沃尔特·福格勒 准备好并发模拟：这是合乎逻辑的！ （英语） Zbl 1197.68053号 Inf.计算。 208，编号7，845-867（2010）.MSC公司：68问题85 03B70号 93立方厘米95 PDF格式BibTeX公司 XML格式引用 \textit{G.Lüttgen}和\textit{W.Vogler}，Inf.Compute。208，第7号，845--867（2010；Zbl 1197.68053） 全文： 内政部 链接
倪、岳;范玉顺 语义web服务组合的模型转换和形式验证。 （英语） Zbl 1192.68069号 高级工程师软件。 41，第6号，879-885（2010）.MSC公司：68英里11 68T05型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{Y.Ni}和\textit{Y.Fan}，高级工程师软件。41，第6号，879--885（2010；Zbl 1192.68069） 全文： 内政部
卢卡·埃特罗;Wan Fokkink公司;安娜·英格尔斯多蒂尔;巴斯·卢提克 具有左合并和通信合并的CCS有限方程组。 （英语） Zbl 1367.68207号 ACM事务处理。计算。日志。 10，第1号，第6条，第26页（2009年）.MSC公司：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人，ACM Trans。计算。日志。10，第1号，第6条，第26页（2009年；Zbl 1367.68207） 全文： 内政部 链接
约泽夫·温科夫斯基 定义并发系统行为的代数框架。二： 公理化表示。 （英语） Zbl 1192.68452号 芬丹。通知。 97，第4期，439-470（2009）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Winkowski}，芬丹。通知。97，第4号，439--470（2009；Zbl 1192.68452） 全文： 内政部
约泽夫·温科夫斯基 定义并发系统行为的代数框架。一： 建设性的陈述。 （英语） Zbl 1189.68082号 芬丹。通知。 97，编号1-2235-273（2009）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Winkowski}，芬丹。通知。97，编号1--2，235-273（2009；Zbl 1189.68082） 全文： 内政部
罗布·范格拉贝克;巴斯·卢提克;尼古拉·特里卡 带死锁检测的计算树逻辑。 （英语） Zbl 1200.68166号 日志。方法计算。科学。 5，第4号，第5号论文，24页（2009年）. 审核人：罗杰·维尔梅尔（蒙特勒） MSC公司：68问题85 03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.van Glabbeek}等人，日志。方法计算。科学。5，第4号，第5号论文，24页（2009年；Zbl 1200.68166） 全文： 内政部
K.M.拉夫里舍娃。 作文编程：理论与实践。 （英语。俄文原件） Zbl 1185.68206号 赛博。系统。分析。 45，第6期，845-853（2009）；翻译自Kibern。修女。分析。2009年，第6期，第3-12页（2009年）。MSC公司：68甲19 68第05页 68甲15 PDF格式BibTeX公司 XML格式引用 \文本{K.M.Lavrischeva}，Cybern。系统。分析。45，第6号，845--853（2009；Zbl 1185.68206）；翻译自Kibern。修女。分析。2009年第6期，第3-12期（2009年） 全文： 内政部
贾梅勒·梅斯拉蒂 关于AspectJ和合成过滤器：概念映射。 （英语） 兹比尔1184.68168 维尔纽斯Informatica 20，第4期，555-578（2009）.MSC公司：68甲19 PDF格式BibTeX公司 XML格式引用 \textit{D.Meslati}，维尔纽斯Informatica 20，No.4，555--578（2009；Zbl 1184.68168） 全文： 链接
瓦伦蒂安·瓦莱罗;米米利亚·坎布罗内罗;格雷戈里奥·迪亚斯;赫梅内吉尔达梅西 用于设计和分析web服务编排的Petri网方法。 （英语） Zbl 1188.68205号 J.日志。阿尔盖布。程序。 78，第5号，359-380（2009）.MSC公司：68问题85 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{V.Valero}等人，J.Log。阿尔盖布。程序。78，编号5359--380（2009年；兹bl 1188.68205） 全文： 内政部
林德尔，耶胡达 安全多方计算中的通用组合和通用组合。 （英语） Zbl 1184.94243号 J.密码学 22，第3号，395-428（2009）. 审核人：Boaz Tsaban（拉马特甘） MSC公司：94A60型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Lindell}，J.Cryptology 22，第3期，395--428（2009；Zbl 1184.94243） 全文： 内政部
约泽夫·温科夫斯基 建立混合系统行为建模框架。 （英语） Zbl 1128.68071号 芬丹。通知。 80，编号1-3，311-332（2007）.MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Winkowski}，芬丹。通知。80，编号1--3311--332（2007；Zbl 1128.68071）
约泽夫·温科夫斯基 行为代数。 （英语） Zbl 1108.68083号 芬丹。通知。 75，编号1-4，537-560（2007）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Winkowski}，芬丹。通知。75，编号1--4537--560（2007；Zbl 1108.68083）
阿尔班·蓬塞;范德兹瓦格，马克B。 使用Belnap逻辑对ACP进行概括。 （英语） Zbl 1106.68075号 J.日志。阿尔盖布。程序。 70，第2期，222-235（2007）.MSC公司：68问题85 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{A.Ponse}和\textit{M.B.van der Zwaag}，J.Log。阿尔盖布。程序。70，第2号，222--235（2007；Zbl 1106.68075） 全文： 内政部
罗伯托·卢奇;曼努埃尔·马扎拉 WS-BPEL的基于像素的语义。 （英语） Zbl 1178.68367号 J.日志。阿尔盖布。程序。 70，第1期，96-118（2007）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Lucchi}和\textit{M.Mazzara}，J.Log。阿尔盖布。程序。70，编号1，96-118（2007年；兹bl 1178.68367） 全文： 内政部
马里奥·布拉维蒂;吉安路易吉·扎瓦塔罗 从进程代数的角度来看，面向服务的计算。 （英语） Zbl 1178.68072号 J.日志。阿尔盖布。程序。 70，第1期，3-14（2007）.MSC公司：64岁以下 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Bravetti}和\textit{G.Zavataro}，J.Log。阿尔盖布。程序。70，第1号，第3-14号（2007；Zbl 1178.68072） 全文： 内政部
胡海阳;吕，Jian;马晓星;陶贤平 使用面向对象范式研究软件体系结构中组件的行为兼容性。 （中文。英文摘要） Zbl 1100.68537号 J.软件。 17，第6期，1276-1286（2006）.MSC公司：68甲19 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{H.Hu}等人，J.Softw。17、第6号、1276——1286（2006；Zbl 1100.68537）
约泽夫·温科夫斯基 Petri网过程代数的公理化特征。 （英语） Zbl 1097.68101号 芬丹。通知。 72，编号1-3407-420（2006）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Winkowski}，芬丹。通知。72，编号1--3，407--420（2006；Zbl 1097.68101）
扎伊采夫，D.A。 Petri网的组成分析。 （英语。俄文原件） Zbl 1102.68087号 赛博。系统。分析。 42，第1期，126-136（2006）；翻译自Kibern。修女。分析。2006年，第1期，143-154（2006）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Zaitsev}，Cybern。系统。分析。42，第1号，126--136（2006；Zbl 1102.68087）；翻译自Kibern。修女。分析。2006年，第1期，143--154（2006） 全文： 内政部
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 多层次策略的线程代数。 （英语） 兹比尔1095.68061 芬丹。通知。 71，编号2-3，153-182（2006）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛J.A.Bergstra｝和\textit｛C.A.Middelburg｝，Fundam。通知。71，编号2--3，153-182（2006；Zbl 1095.68061）
雷蒙德·魔鬼队;汉娜·克劳代尔;马西耶·库特尼 有限（pi）演算术语的Petri网语义。 （英语） Zbl 1095.68062号 芬丹。通知。 70，第3期，203-226（2006）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Devillers}等人，Fundam。通知。70，第3号，203--226（2006；Zbl 1095.68062）
约泽夫·温科夫斯基 建立一个具有丰富的状态和过程内部结构的系统建模框架。 （英语） Zbl 1098.68091号 芬丹。通知。 68，第1-2期，175-206（2005）.MSC公司：68问题85 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{J.Winkowski}，芬丹。通知。68，编号1--2，175-206（2005；Zbl 1098.68091）
J.A.伯格斯特拉。;我·贝斯克。 具有反应合成的极化过程代数。 （英语） Zbl 1077.68057号 西奥。计算。科学。 343，第3期，285-304（2005）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{I.Bethke}，Theor。计算。科学。343，第3号，285--304（2005；Zbl 1077.68057） 全文： 内政部
厄秀拉·舍本 工业组件的层次结构。 （英语） Zbl 1080.68560号 科学。计算。程序。 56，编号1-2117-139（2005）.MSC公司：68甲19 PDF格式BibTeX公司 XML格式引用 \textit{U.Scheben}，科学。计算。程序。56，编号1--2，117-139（2005；Zbl 1080.68560） 全文： 内政部
Stéphane Ducasse;纳撒内尔·施亚利;罗埃尔·伍兹 统一且安全的元类组成。 （英语） Zbl 1079.68521号 计算。语言系统。结构。 31，编号3-4，143-164（2005）.MSC公司：68甲19 PDF格式BibTeX公司 XML格式引用 \textit{S.Ducasse}等人，计算。语言系统。结构。31，No.3--4，143--164（2005；Zbl 1079.68521） 全文： 内政部
法哈德·阿尔巴 抽象行为类型：组件及其组合的基础模型。 （英语） Zbl 1075.68014号 科学。计算。程序。 55，第1-3、3-52号（2005年）.MSC公司：68甲19 68号30 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{F.Arbab}，科学。计算。程序。55，编号1--3，3--52（2005；Zbl 1075.68014） 全文： 内政部 链接
罗布·范格拉贝克;乌苏拉·戈尔茨 用于并行合成和动作精细化的井底流动事件结构。 （英语） Zbl 1068.68095号 西奥。计算。科学。 311，编号1-3，463-478（2004）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.van Glabbeek}和\textit{U.Goltz}，Theor。计算。科学。311，编号1-3463-478（2004年；兹bl 1068.68095） 全文： 内政部
安托尼亚州洛佩斯;何塞·路易斯·费亚代罗 叠加：非确定性、基于动作的系统的组合与细化。 （英语） Zbl 1086.68030号 正式Asp。计算。 16，第1期，第5-18页（2004年）.MSC公司：68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{A.Lopes}和\textit{J.L.Fiadeiro}，正式Asp。计算。16，第1号，第5--18号（2004；Zbl 1086.68030） 全文： 内政部
Jörn W.Janneck。 演员及其构成。 （英语） 兹比尔1093.68064 正式Asp。计算。 15，第4期，349-369（2003）.MSC公司：68问题85 2005年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.W.Janneck}，正式Asp。计算。15，第4号，349--369（2003；Zbl 1093.68064） 全文： 内政部
蒋长军 一类同步合成Petri网合法触发序列问题的多项式时间算法。 （英语） Zbl 1125.68391号 科学。中国，Ser。F、。 44，第3期，226-233（2001）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Jiang}，科学。中国，Ser。F 44，编号3，226--233（2001；Zbl 1125.68391） 全文： 内政部
德特列夫·齐默尔曼 音乐结构建模。 （英语） Zbl 1006.68623号 约束条件 6，第1期，53-83（2001）.MSC公司：68单位99 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{D.Zimmermann}，约束6，No.1，53--83（2001；Zbl 1006.68623） 全文： 内政部
卡米洛·鲁埃达;格洛丽亚·阿尔瓦雷斯;路易斯·奥·奎萨达。;加布里埃尔·塔穆拉;弗兰克·巴伦西亚;迪亚斯，胡安·弗朗西斯科;杰拉德·阿萨亚格 在音乐应用中集成约束和并发对象：微积分及其可视化语言。 （英语） Zbl 1006.68625号 约束条件 6，第1期，21-52（2001）.MSC公司：68单位99 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{C.Rueda}等人，《约束条件6》，第1期，第21-52页（2001年；Zbl 1006.68625） 全文： 内政部
克里斯蒂安·普雷霍弗 面向特征编程：一种新的对象合成方法。 （英语） Zbl 1008.68520号 并发计算。实际。支出。 13，第6号，465-501（2001）.MSC公司：68单位99 68甲19 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{C.Prehofer}，并发计算。实际。Exp.13，No.6，465--501（2001；Zbl 1008.68520） 全文： 内政部
Jan A.Bergstra。;阿尔班·蓬塞 具有四值逻辑的进程代数。 （英语） Zbl 1036.68067号 J.应用。非类别。日志。 10，第1期，27-53（2000）.MSC公司：68问题85 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{A.Ponse}，J.Appl。非类别。日志。10，第1号，第27--53条（2000年；Zbl 1036.68067） 全文： 内政部 链接
杜宇月;李晓忠;曹德凡 通过同步合成Petri网来保持结构属性。 （中文。英文摘要） 兹比尔1009.68094 J.东南大学。 29，第5号，26-30（1999）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{Y.Du}等人，《东南大学学报》第29卷，第5期，第26-30页（1999年；Zbl 1009.68094）
迪加诺，皮尔保罗;何塞·梅塞盖尔;乌戈·蒙塔纳里 公理化网络计算和过程的代数。 （英语） Zbl 0849.68087号 学报信息。 33，第7期，641-667（1996）.MSC公司：68问题85 18日第10天 PDF格式BibTeX公司 XML格式 全文： 内政部
Kumar，K.纳拉扬;帕里托什·K·潘迪亚。 CSP中没有无界不确定性的无限并行。 （英语） Zbl 0790.68040号 学报信息。 30，第5期，467-487（1993）.MSC公司：2010年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{K.N.Kumar}和\textit{P.K.Pandya}，《学报信息》30，第5期，467--487（1993；Zbl 0790.68040） 全文： 内政部
王飞跃;乔治·萨里迪斯。 智能机器的协调理论。 （英语） Zbl 0797.68135号 Automatica公司 26，No.5，833-844（1990）.MSC公司：68T05型 93C85号 68问题85 94甲17 PDF格式BibTeX公司 XML格式引用 \textit{F.-Y.Wang}和\textit{G.N.Saridis}，Automatica 26，No.5，833--844（1990；Zbl 0797.68135） 全文： 内政部
Kvachuk，K.P。 利用Petri网对信息系统进行建模（ASPID-7/SM案例）。 （英语。俄文原件） Zbl 0659.68086号 程序。计算。软件 14，第1号，12-21（1988）；译自Programmirovanie 1988，No.1，37-49（1988）。MSC公司：68问题85 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{K.P.Kvachuk}，程序。计算。柔和。14，No.1，12--21（1988；Zbl 0659.68086）；译自Programmirovanie 1988，No.1，37-49（1988）
林怀安 一种构造具有多个并发功能的通信协议的方法。 （英语） Zbl 0659.68042号 分布计算。 第3期，第1期，23-40页（1988年）.MSC公司：68N25号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛H.Lin｝，分布式计算。3，编号1，23--40（1988；Zbl 0659.68042） 全文： 内政部
温克尔，格林 Petri网、代数、形态和合成。 （英语） Zbl 0622.68052号 Inf.计算。 72, 197-238 (1987).MSC公司：68问题85 18B99型 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{G.Winskel}，信息计算。72、197--238（1987年；Zbl 0622.68052） 全文： 内政部
西古尔德·梅尔达尔 嵌套并发的公理语义。 （英语） Zbl 0594.68026号 比特币 26, 164-174 (1986).MSC公司：68N25号 PDF格式BibTeX公司 XML格式引用 \textit{S.梅尔达尔}，BIT 26，164--174（1986；Zbl 0594.68026） 全文： 内政部
华纳，M.W。 确定性自动机中的积分网和模糊关系。 （英语） Zbl 0481.68056号 凯贝内提卡 18, 22-30 (1982).MSC公司：68问题85 65年第68季度 94D05型 PDF格式BibTeX公司 XML格式引用 \textit{M.W.Warner}，凯贝内提卡18，22--30（1982；Zbl 0481.68056） 全文： 欧洲DML
艾琳娜·阿塔纳休;泽沃斯，C。 并发复合运算符的闭包属性。 （罗马尼亚语） Zbl 0405.68060号 灯泡。政治学会。布库。，序列号。Electroteh公司。 40，第4期，75-81页（1978年）.MSC公司：65年第68季度 03D25号 PDF格式BibTeX公司 XML格式引用 \textit{I.Athanasiu}和\textit{C.Zervos}，布尔。政治学会。布库。，序列号。Electroteh公司。40，第4号，75--81（1978；Zbl 0405.68060）