阿纳尔多·塞斯科;罗伯托·戈里埃里 有限有界Petri网两个真正并发等价的判定性。 (英语) Zbl 07789009号 日志。方法计算。科学。 19,第4号,第37号论文,37页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Cesco}和\textit{R.Gorrieri},日志。方法计算。科学。19,第4号,第37号文件,第37页(2023;Zbl 07789009) 全文: 内政部 arXiv公司 OA许可证
保罗·巴尔丹;丹尼尔·戈拉;托马索·帕多安;伊万诺·萨尔沃 从逻辑上描述事件结构等效谱的特征。 (英语) Zbl 1504.68138号 Inf.计算。 285,B部分,文章ID 104887,25 p.(2022).MSC公司:68问题85 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人,《信息计算》。285,B部分,文章ID 104887,25 p.(2022;Zbl 1504.68138) 全文: 内政部
保罗·巴尔丹;丹尼尔·戈拉;托马索·帕多安;伊万诺·萨尔沃 配置结构的行为逻辑。 (英语) Zbl 1483.68222号 西奥。计算。科学。 913, 94-112 (2022).MSC公司:68问题85 03B70号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人,Theor。计算。科学。913,94-112(2022;Zbl 1483.68222) 全文: 内政部
丹尼尔·戈拉;伊万诺·萨尔沃 事件结构中的冲突与因果关系。 (英语) Zbl 1509.68186号 J.日志。阿尔盖布。方法计划。 119,文章ID 100631,16 p.(2021).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.Gorla}和\textit{I.Salvo},J.Log。阿尔盖布。方法计划。119,文章ID 100631,16 p.(2021;Zbl 1509.68186) 全文: 内政部 arXiv公司
保罗·巴尔丹;托马索·帕多安 模型检查逻辑是否存在真正的并发性。 (英语) Zbl 1502.68179号 ACM事务处理。计算。日志。 21,第4号,第34条,49页(2020年).MSC公司:60年第68季度 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}和\textit{T.Padoan},ACM Trans。计算。日志。21,第4号,第34条,49页(2020年;Zbl 1502.68179) 全文: 内政部
德克·法兰德 描述具有多对多交互的过程的行为。 (英语) Zbl 1532.68042号 Donatelli,Susanna(编辑)等人,《Petri网和并发的应用和理论》。第40届国际会议,2019年6月23日至28日,德国亚琛,PETRI NETS 2019,会议记录。查姆:斯普林格。莱克特。注释计算。科学。11522, 3-24 (2019).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \文本{D.Fahland},Lect。注释计算。科学。11522,3--24(2019;Zbl 1532.68042) 全文: 内政部
奥罗雷·阿尔科莱;皮埃尔·克莱兰堡;马丁·海兰德;格林·温斯克尔 赫伯兰德定理的真正并发性。 (英语) Zbl 1528.68247号 Ghica,Dan R.(编辑)等人,第27届EACSL计算机科学逻辑年会,CSL 2018,英国伯明翰,2018年9月4-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119,第5条,22页(2018年)。MSC公司:68问题85 03年3月 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.Alcolei}等人,LIPIcs——莱布尼茨国际程序。通知。119,第5条,22 p.(2018;Zbl 1528.68247) 全文: 内政部
保罗·巴尔丹;亚历山德罗·贝吉亚托 多层次传递和不传递不干涉,因果关系。 (英语) Zbl 1380.68292号 西奥。计算。科学。 706, 54-82 (2018).MSC公司:68问题85 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}和\textit{A.Beggiato},Theor。计算。科学。706、54-82(2018年;Zbl 1380.68292) 全文: 内政部 哈尔
肯·萨卡约里;津田,武士 异步演算的真正并发游戏模型。 (英语) Zbl 1486.68116号 Esparza,Javier(编辑)等人,《软件科学和计算结构基础》。2017年4月22日至29日在瑞典乌普萨拉举行的第20届国际会议FOSSACS 2017,作为欧洲软件理论与实践联合会议ETAPS 2017的一部分。诉讼程序。柏林:施普林格。莱克特。注释计算。科学。10203, 389-406 (2017).MSC公司:68问题85 68号30 68问题55 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.Sakayori}和\textit{T.Tsukada},Lect。注释计算。科学。10203、389--406(2017;Zbl 1486.68116) 全文: 内政部
保罗·巴尔丹;阿尔贝托·卡拉罗 关于不干涉的因果观点。 (英语) Zbl 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) 全文: 内政部
索蒂里斯·莫斯科伊安尼斯;保罗·J·克劳斯。 数字生态系统长期运行事务中的真正并发性。 (英语) Zbl 1334.68154号 芬丹。通知。 138,第4期,483-514(2015).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Moschoyiannis}和\textit{P.J.Krause},Fundam。通知。138,第4号,483--514(2015;Zbl 1334.68154) 全文: 内政部
保罗·巴尔丹;西尔维亚·克拉法 真正并发的逻辑。 (英语) Zbl 1321.68355号 美国临床医学杂志 第61号第4条第24条第36页(2014年).MSC公司:68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}和\textit{S.Crafa},J.ACM 61,第4号,第24条,第36页(2014;Zbl 1321.68355) 全文: 内政部 arXiv公司
丹·特多休 多组可消费资源上的真正并发进程语义。 (英语) Zbl 1342.68245号 Berger,Ulrich(编辑)等人,《第28届编程语义数学基础会议论文集》(MFPS XXVIII),英国巴斯,2012年6月6日至9日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》286、307-321(2012)。MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.Teodosiu},电子。理论注释。计算。科学。286307-321(2012年;兹比尔1342.68245) 全文: 内政部
Dang,Han-Hing(韩红);伯恩哈德·莫勒 并发和局部推理的反向交换。 (英语) Zbl 1358.68063号 Jeremy Gibbons等人,《程序构造的数学》。2012年6月25日至27日在西班牙马德里举行的2012年MPC第11届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-31112-3/pbk)。计算机科学课堂讲稿7342177-197(2012)。MSC公司:68甲19 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{H.-H.Dang}和\textit{B.Möller},莱克特。注释计算。科学。7342,177--197(2012;Zbl 1358.68063) 全文: 内政部 链接
多雷尔·卢卡努 膜系统基于策略的重写语义保持了进化规则操作的最大并发性。 (英语) Zbl 1294.68081号 Middeldorp,Aart(编辑),第八届改写和编程简化策略国际研讨会论文集(WRS 2008),奥地利哈根堡城堡,2008年7月14日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记237107-125(2009)。MSC公司:2010年第68季度 03B45号 03B70号 2012年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Lucanu},电子。理论注释。计算。科学。237107-125(2009年;Zbl 1294.68081) 全文: 内政部 OA许可证
萨米·阿贝斯;阿尔伯特·本文尼斯特 并发、(sigma)-代数和概率公平。 (英语) Zbl 1234.68279号 de Alfaro,Luca(编辑),《软件科学和计算结构基础》。2009年3月22日至29日在英国约克举行的第12届国际会议FOSSACS 2009,作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00595-4/pbk)。计算机科学课堂讲稿5504380-394(2009)。MSC公司:68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Abbes}和\textit{A.Benveniste},Lect。注释计算。科学。5504380-394(2009年;Zbl 1234.68279) 全文: 内政部
萨米·阿贝斯;阿尔伯特·本文尼斯特 真一致概率模型:马尔可夫网和大数定律。 (英语) Zbl 1134.68037号 西奥。计算。科学。 390,编号2-3,129-170(2008).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Abbes}和\textit{A.Benveniste},Theor。计算。科学。390,编号2--3,129-170(2008;Zbl 1134.68037) 全文: 内政部 哈尔
克里斯蒂·马尔 捕获CSP中的冲突和困惑。 (英语) Zbl 1213.68408号 Davies,Jim(编辑)等,《综合形式方法》。2007年7月2日至5日,第六届国际会议,IFM 2007,英国牛津。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-73209-9/pbk)。计算机科学课堂讲稿4591413-438(2007)。MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \发短信给Lect。注释计算。科学。4591、413--438(2007年;Zbl 1213.68408) 全文: 内政部
埃里克·法布雷 网格进程:并发系统运行的紧凑表示。 (英语) Zbl 1128.93367号 离散事件动态。系统。 17,第3期,267-306(2007).MSC公司:93元65角 93甲15 93B10型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Fabre},离散事件Dyn。系统。17,第3号,267--306(2007;Zbl 1128.93367) 全文: 内政部 链接
H·费彻。;M.卡德巴姆少校。 应用于后期决策的操作优化。 (英语) Zbl 1103.68651号 正式Asp。计算。 18,第2期,211-230(2006).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Fecher}和\textit{M.Majster-Cederbaum},正式Asp。计算。18,第2号,211--230(2006;Zbl 1103.68651) 全文: 内政部
弗罗斯科尔,S.B。 保留双重相似性的遗传历史的可判定边界。 (英语) Zbl 1173.68538号 信息处理。莱特。 93,第6号,289-293(2005).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.B.Fröschle},Inf.过程。莱特。93,第6号,289--293(2005;Zbl 1173.68538) 全文: 内政部
博尔顿,克里斯蒂 给顾客服务提供商增加了冲突和困惑。 (英语) Zbl 1120.68410号 Fitzgerald,John(编辑)等人,FM 2005:形式方法。欧洲正式方法国际研讨会,英国纽卡斯尔,2005年7月18日至22日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-27882-6/pbk)。计算机科学课堂讲稿3582205-220(2005)。MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Bolton},莱克特。注释计算。科学。3582205-220(2005年;兹比尔1120.68410) 全文: 内政部
鲍尔丹,P。;北布西。;科拉迪尼,A。;G.M.品娜。 具有读弧和抑制弧的Petri网的域和事件结构语义。 (英语) Zbl 1078.68103号 西奥。计算。科学。 323,编号1-3,129-189(2004).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人,Theor。计算。科学。323,编号1--3,129--189(2004;Zbl 1078.68103) 全文: 内政部
西尔弗,S.J。;Brzozowski,J.A。 异步电路行为模型中的真正并发性。 (英语) Zbl 1020.68017号 形式方法系统。设计。 22,第3期,183-203(2003).MSC公司:68M99型 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.J.Silver}和\textit{J.A.Brzozowski},表格方法系统。设计。22,第3号,183--203(2003;Zbl 1020.68017) 全文: 内政部
哈拉尔德·费彻;米拉·卡德巴姆少校;吴金钊 捆绑事件结构:修订的cpo方法。 (英语) Zbl 1043.68068号 信息处理。莱特。 83,第1期,7-12(2002).MSC公司:60年第68季度 68号01 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Fecher}等人,《Inf.过程》。莱特。83,编号1,7--12(2002;Zbl 1043.68068) 全文: 内政部
V.古普塔。;R.贾加迪桑。;V.A.萨拉斯瓦特。 真正并发的约束编程。 (英语) Zbl 1002.68026号 西奥。计算。科学。 278,编号1-2,223-255(2002).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{V.Gupta}等人,Theor。计算。科学。278,编号1--2,223--255(2002;Zbl 1002.68026) 全文: 内政部
J.-P.卡托恩。;拜尔,C。;拉特拉,D。 真正并发实时的度量语义。 (英语) Zbl 0976.68103号 西奥。计算。科学。 254,编号1-2,501-542(2001).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \文本{J.P.Katoen}等人,Theor。计算。科学。254,编号1--2,501-542(2001;Zbl 0976.68103) 全文: 内政部
Virbitskaite,I.B.公司。 数据流计算的事件结构模型。 (英语) Zbl 0990.68072号 计算。Artif公司。智力。 18,第1期,73-93(1999).MSC公司:2005年第68季度 2005年5月 PDF格式BibTeX公司 XML格式引用 \textit{I.B.Virbitskaite},计算机。Artif公司。智力。18,第1号,73-93(1999年;兹bl 0990.68072)
D.H.皮特。;护罩,M.W。 异步周期系统中的超车。 (英语) Zbl 0958.68067号 正式Asp。计算。 11,第5期,567-590(1999).MSC公司:2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.H.Pitt}和\textit{M.W.Shields},正式Asp。计算。11,第5号,567--590(1999;Zbl 0958.68067) 全文: 内政部
保罗·加斯丁;Mislove,迈克尔 简单并行编程语言的真正并发语义。 (英语) Zbl 0944.68123号 Flum,Jörg(编辑)等人,《计算机科学逻辑》。第十三届国际研讨会,CSL’99。1999年9月20日至25日在西班牙马德里举行的欧洲原子能委员会第八届年会。诉讼程序。柏林:施普林格。莱克特。注释计算。科学。1683, 515-529 (1999).MSC公司:68问题55 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{P.Gastin}和\textit{M.Mislove},莱克特。注释计算。科学。1683、515--529(1999;Zbl 0944.68123)
何塞·梅塞盖尔;卡罗琳·塔尔科特 并发对象的部分顺序事件模型。 (英语) 兹伯利0939.68084 Baeten,Jos C.M.(编辑)等人,CONCUR’99。并发理论。第十届国际会议,荷兰埃因霍温,1999年8月24日至27日。诉讼程序。柏林:施普林格。莱克特。注释计算。科学。1664, 415-430 (1999).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{C.Talcott},莱克特。注释计算。科学。1664、415--430(1999年;Zbl 0939.68084)
迪加诺,皮尔保罗;普里阿米,科拉多 移动进程的非交互语义。 (英语) Zbl 0914.68128号 西奥。计算。科学。 216,编号1-2,237-270(1999).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.Degano}和\textit{C.Priami},Theor。计算。科学。216,编号1--2,237--270(1999;Zbl 0914.68128) 全文: 内政部
普里塞·卢茨;哈罗·威梅尔 Petri网真正一致性和交错语义的统一方法。 (英语) Zbl 0917.68159号 西奥。计算。科学。 206,编号1-2,219-256(1998).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Priese}和\textit{H.Wimmel},Theor。计算。科学。206,编号1--2,219--256(1998;Zbl 0917.68159) 全文: 内政部
F.A.斯托姆。;德罗弗,W.-P。 分布式算法的顺序推理原理。 (英语) 兹比尔0829.68066 正式Asp。计算。 6,第6期,716-737(1994).MSC公司:68宽10 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.A.Stomp}和\textit{W.P.deRoever},正式Asp。计算。6,编号6,716--737(1994;Zbl 0829.68066) 全文: 内政部
乌戈·蒙塔纳里 真正的并发:理论与实践。 (英语) Zbl 0796.68092号 Bird,Richard S.(编辑)等人,《程序构建的数学》。第二届国际会议,1992年6月29日至7月3日,英国牛津。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。669, 14-17 (1993). 审核人:U.Montanari(比萨) MSC公司:2010年第68季度 68问题55 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{U.Montanari},莱克特。注释计算。科学。669,14--17(1993;Zbl 0796.68092)
菲利普·达伦多;皮耶保罗·德加诺 事件结构和因果树中动作的细化。 (英语) Zbl 0805.68041号 西奥。计算。科学。 118,第1期,21-48(1993). 审核人:M.K(布尔诺) MSC公司:2010年第68季度 60年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Darondeau}和\textit{P.Degano},Theor。计算。科学。118,编号1,21-48(1993;Zbl 0805.68041) 全文: 内政部
乌戈·蒙塔纳里;弗朗西丝卡·罗西 并发约束编程的部分排序语义的图重写。 (英语) Zbl 0798.68095号 西奥。计算。科学。 109,编号1-2,225-256(1993).MSC公司:68问题55 68N17号 68兰特 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Montanari}和\textit{F.Rossi},Theor。计算。科学。109,编号1--2225-256(1993;Zbl 0798.68095) 全文: 内政部
沃尔特·福格勒 相互模拟和动作细化。 (英语) Zbl 0778.68060号 西奥。计算。科学。 114,第1期,173-200(1993).MSC公司:68问题55 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.福格勒},Theor。计算。科学。114,编号1,173--200(1993;Zbl 0778.68060) 全文: 内政部
陆汝倩 CCS语义的真正并发模型。 (英语) Zbl 0770.68087号 西奥。计算。科学。 113,第2期,231-258(1993).MSC公司:68问题55 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{R.Lu},Theor。计算。科学。113,第2号,231--258(1993;Zbl 0770.68087) 全文: 内政部
Jean-Pierre科蒂亚特;科埃霍·达科斯塔,罗斯维尔特·若昂 基于LOTOS的演算,具有真正的并发语义。 (英语) Zbl 0785.68057号 形式描述技术,IV,Proc。IFIP TC6/WG6第四届国际会议,悉尼/澳大利亚,1991,559-574(1992)。MSC公司:68问题55 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Courtiat}和\textit{R.J.Coelho da Costa},in:形式描述技术,IV.IFIP TC6/WG6.1第四届分布式系统和通信协议形式描述技术国际会议论文集,91年11月19-22日,澳大利亚悉尼。阿姆斯特丹等:爱思唯尔科学出版社(北荷兰)。559-574(1992年;Zbl 0785.68057)
最好的,艾克;德塞尔,约格 Petri网的偏序行为和结构。 (英语) Zbl 0697.68061号 形式方面计算。 第2期,第123-138页(1990年).MSC公司:68问题85 68问题55 06年06月06日 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{E.Best}和\textit{J.Desel},正式Asp。计算。2,No.2,123--138(1990;Zbl 0697.68061) 全文: 内政部
沃伊切赫·彭泽克 事件结构的时态逻辑。 (英语) Zbl 0789.03030号 数理逻辑,程序。夏季计划。Conf.Ded.公司。第90届安尼夫。Arend Heyting,柴卡/巴尔格。1988, 327-338 (1990). 审核人:J.-J.Ch.Meyer(乌得勒支) MSC公司:03B70号 03B45号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Penczek},in:数理逻辑。1988年9月13日至23日在保加利亚柴卡举行的纪念阿伦德·海廷(Arend Heyting,1898-1980)诞辰90周年暑期学校和会议记录。纽约:Plenum出版社。327--338(1990年;Zbl 0789.03030)
梅耶,J.-J.C。;德文克,E.P。 递归“真正”并发的步骤语义。 (英语) Zbl 0703.68073号 分布式计算。 第3期,第130-145页(1989年).MSC公司:68问题55 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.J.C.Meyer}和\textit{E.P.de Vink},分布计算。3,编号3,130--145(1989;Zbl 0703.68073) 全文: 内政部
沃尔夫冈·雷西格 并发比交错更基本。 (英语) 兹伯利0678.68083 牛市。EATCS公司 35, 181-184 (1988). 审核人:J.-J.Ch.梅耶 MSC公司:68问题55 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{W.Reisig},公牛。EATCS 35,181--184(1988;Zbl 0678.68083)
G.布多尔。;卡斯特拉尼,I。 并发性和原子性。 (英语) Zbl 0678.68078号 西奥。计算。科学。 59,编号1-2,25-84(1988). 审核人:J.-J.Ch.梅耶 MSC公司:68问题55 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{G.Boudol}和\textit{I.Castellani},Theor。计算。科学。59,编号1--2,25-84(1988;Zbl 0678.68078) 全文: 内政部 链接
背面,R.J.R。;Kurki-Soonio,R。 与行动系统的分布式合作。 (英语) Zbl 0663.68028号 ACM事务处理。程序。语言系统。 10,第4期,513-554(1988).MSC公司:68N25号 60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{R.J.R.Back}和\textit{R.Kurki-Soonio},ACM Trans。程序。语言系统。10,编号4513-554(1988年;Zbl 0663.68028) 全文: 内政部 链接
巴顿,J.C.M。;J.A.伯格斯特拉。;Klop,J.W。 进程代数的操作语义。 (英语) Zbl 0761.68054号 计算理论中的数学问题,Proc。第26学期,华沙/波兰,1985年,巴纳赫中心。出版物。21, 47-81 (1988).MSC公司:68问题55 68问题85 2010年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.C.M.Baeten}等人,巴纳赫中心。出版物。21、47——81(1988年;Zbl 0761.68054)
罗布·范格拉贝克;Vaandrager,Frits公司 并发代数理论的Petri网模型。 (英语) Zbl 0633.68054号 欧洲并行体系结构和语言,Proc。Conf.,Eindhover/Neth。1987年,第2卷,Lect。注释计算。科学。259, 224-242 (1987).MSC公司:68问题85 PDF格式BibTeX公司 XML格式
李,W。;Lauer,体育。 使用结构化操作方法来表示真正的并发性。 (英语) Zbl 0594.68021号 程序设计中的形式化模型。IFIP TC2工作会议,维也纳/奥地利,1985,373-397(1986)。MSC公司:68N25号 PDF格式BibTeX公司 XML格式