卢卡·埃特罗;安娜·英格尔夫斯多蒂;欧根·伊安·戈里亚克 幂等项和幂等一元运算符的SOS规则格式。 (英语) Zbl 1283.68200号 J.日志。阿尔盖布。程序。 83,第1号,64-80(2014).MSC公司:68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,J.Log。阿尔盖布。程序。83,第1号,64--80(2014;Zbl 1283.68200) 全文: 内政部
乔纳森·米乔克斯;伊利·纳伊姆;亚历山德罗·范特奇 安全web服务编排的会话类型。 (英语) Zbl 1283.68065号 J.日志。阿尔盖布。程序。 82,第8期,282-310(2013).MSC公司:68英里11 PDF格式BibTeX公司 XML格式引用 \textit{J.Michaux}等人,J.Log。阿尔盖布。程序。82,第8号,282--310(2013;Zbl 1283.68065) 全文: 内政部
迈克尔·凯特尔曼;肖恩·凯勒;何塞·梅塞盖尔 重写生产规则集的语义。 (英语) Zbl 1279.68188号 J.日志。阿尔盖布。程序。 81,编号7-8,929-956(2012).MSC公司:68问题55 2012年第68季度 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Katelman}等人,J.Log。阿尔盖布。程序。81,编号7--8929--956(2012;Zbl 1279.68188) 全文: 内政部
弗朗西斯科·杜兰;何塞·梅塞盖尔 条件有序重写理论的Church-Rosser和相干性质。 (英语) Zbl 1272.03139号 J.日志。阿尔盖布。程序。 81,编号7-8,816-850(2012).MSC公司:03B70号 68甲18 第68页第19页 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}和\textit{J.Meseguer},J.Log。阿尔盖布。程序。81,编号7--8816--850(2012;Zbl 1272.03139) 全文: 内政部
何塞·梅塞盖尔 二十年的逻辑重写。 (英语) Zbl 1267.03043号 J.日志。阿尔盖布。程序。 81,编号7-8,721-781(2012). 审核人:约翰·乔治·格兰斯特罗姆(苏黎世) MSC公司:03B70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer},J.Log。阿尔盖布。程序。81,编号7--8,721--781(2012;Zbl 1267.03043) 全文: 内政部
乔治·斯特鲁斯 左欧米伽代数和正则方程。 (英语) Zbl 1279.68242号 J.日志。阿尔盖布。程序。 81,第6号,705-717(2012).MSC公司:70年第68季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{G.Struth},J.Log。阿尔盖布。程序。81,No.6,705--717(2012;Zbl 1279.68242) 全文: 内政部
穆申成;何塞·努诺·奥利维拉 从Galois连接进行编程。 (英语) 兹比尔1257.68057 J.日志。阿尔盖布。程序。 81,第6号,680-704(2012).MSC公司:68号30 2015年1月6日 18B10型 PDF格式BibTeX公司 XML格式引用 \textit{S.-C.Mu}和\textit{J.N.Oliveira},J.Log。阿尔盖布。程序。81、第6号、680--704(2012;Zbl 1257.68057) 全文: 内政部
托马斯·佩塞利 反向通用解析算法和反向驱动。 (英语) Zbl 1246.68076号 J.日志。阿尔盖布。程序。 81,第3期,314-330(2012).MSC公司:68号01 68N20型 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{T.Pécseli},J.Log。阿尔盖布。程序。81、3号、314--330(2012;Zbl 1246.68076) 全文: 内政部
埃纳尔·布罗赫·约翰森;Mai Thoung Tran,Thi公司;Owe、Olaf;马丁·斯特芬 多线程Java的安全锁定,但有例外。 (英语) Zbl 1246.68077号 J.日志。阿尔盖布。程序。 81,第3期,257-283(2012).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{E.B.Johnsen}等人,J.Log。阿尔盖布。程序。81,第3号,257--283(2012;Zbl 1246.68077) 全文: 内政部
Din、Crystal Chang;约翰·多夫兰;埃纳尔·布罗赫·约翰森;Owe、Olaf 分布式系统的可观察行为:并发对象的组件推理。 (英语) Zbl 1247.68184号 J.日志。阿尔盖布。程序。 81,第3期,227-256(2012).MSC公司:68问题85 68号30 68米14 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{C.C.Din}等人,J.Log。阿尔盖布。程序。81、3号、227--256(2012;Zbl 1247.68184) 全文: 内政部
加尔达洛,Wided;奥尔法·姆拉伊;阿斯玛·卢希奇;吉拉尼、拉米亚·拉贝德;哈立德·比塞斯;阿里·米莉 循环分析的通用概念。 (英语) Zbl 1246.68094号 J.日志。阿尔盖布。程序。 81,第5期,606-622(2012).MSC公司:68号30 第68页第19页 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{W.Ghardallou}等人,J.Log。阿尔盖布。程序。81,第5号,606--622(2012;Zbl 1246.68094) 全文: 内政部
J.A.马汀。;马蒂内利,F。;皮门特尔,E。 安全适配器的合成。 (英语) Zbl 1236.68062号 J.日志。阿尔盖布。程序。 81,第2期,99-126(2012).MSC公司:68第25页 60年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Martín}等人,J.Log。阿尔盖布。程序。81,第2号,99-126(2012;Zbl 1236.68062) 全文: 内政部
A.J.威伊斯。;M.Torabi Dashti 非穷举状态空间分析的扩展波束搜索。 (英语) Zbl 1269.68048号 J.日志。阿尔盖布。程序。 81,第1号,46-69(2012).MSC公司:68页第10页 68号30 60年第68季度 68周05 PDF格式BibTeX公司 XML格式引用 \textit{A.J.Wijs}和\textit{M.T.Dashti},J.Log。阿尔盖布。程序。81,第1号,46-69(2012年;兹bl 1269.68048) 全文: 内政部
朱慧彪;杨,范;何继峰;乔纳森·鲍文(Jonathan P.Bowen)。;杰夫·桑德斯。;秦胜超 概率定时共享变量语言的操作语义和代数语义的链接。 (英语) Zbl 1243.68208号 J.日志。阿尔盖布。程序。 81,第1期,2-25(2012).MSC公司:68问题55 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhu}等人,J.Log。阿尔盖布。程序。81,第1号,第2--25号(2012;Zbl 1243.68208) 全文: 内政部
巴纳赫,R。;杰斯克,C。 通过简洁的默认精简实现简单的功能工程。 (英语) Zbl 1231.68106号 J.日志。阿尔盖布。程序。 80,第8期,453-480(2011).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Banach}和\textit{C.Jeske},J.Log。阿尔盖布。程序。80,第8号,453--480(2011;Zbl 1231.68106) 全文: 内政部
马克·伯吉斯;阿尔瓦·科赫 关于系统回滚和总计字段:系统更改的代数方法。 (英语) 兹比尔1227.68073 J.日志。阿尔盖布。程序。 80,第8期,427-443(2011).MSC公司:68问题65 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Burgess}和\textit{A.Couch},J.Log。阿尔盖布。程序。80,第8号,427--443(2011;Zbl 1227.68073) 全文: 内政部 arXiv公司
罗伯特·J·科尔文。;伊恩·海斯。 通过上下文相关行为实现结构操作语义。 (英语) Zbl 1223.68026号 J.日志。阿尔盖布。程序。 80,第7期,392-426(2011).MSC公司:68甲15 68问题55 68问题85 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{R.J.Colvin}和\textit{I.J.Hayes},J.Log。阿尔盖布。程序。80,第7号,392--426(2011;Zbl 1223.68026) 全文: 内政部
金·索林 while程序和动作系统的完全正确性的范式。 (英语) 兹比尔1221.68063 J.日志。阿尔盖布。程序。 80,第6期,362-375(2011).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{K.Solin},J.Log。阿尔盖布。程序。80,No.6,362--375(2011;Zbl 1221.68063) 全文: 内政部
沃尔特·古特曼 一般正确性的固定点。 (英语) Zbl 1216.68073号 J.日志。阿尔盖布。程序。 80,第6248-265号(2011年).MSC公司:第68页第19页 99年6月 2016年60月 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{W.Guttmann},J.Log(J·洛格)。阿尔盖布。程序。80,第6号,248--265(2011;Zbl 1216.68073) 全文: 内政部
丹·H·H。;Höfner,P。;莫勒,B。 代数分离逻辑。 (英语) Zbl 1260.03060号 J.日志。阿尔盖布。程序。 80,第6期,221-247(2011). 审核人:Damas Gruska(布拉迪斯拉发) MSC公司:03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{H.H.Dang}等人,J.Log。阿尔盖布。程序。80,第6221-247号(2011年;兹bl 1260.03060) 全文: 内政部
伊梅内·本·哈菲德;苏珊娜·格拉芙;苏菲·昆顿 为具有优先级的系统构建分布式控制器。 (英语) Zbl 1217.68057号 J.日志。阿尔盖布。程序。 80,第3-5号,194-218(2011).MSC公司:68号30 68英里11 PDF格式BibTeX公司 XML格式引用 \textit{I.Ben-Hafaiedh}等人,J.Log。阿尔盖布。程序。80,编号3--5,194-218(2011;Zbl 1217.68057) 全文: 内政部
J.A.马汀。;皮门特尔,E。 安全调整合同。 (英语) Zbl 1213.68615号 J.日志。阿尔盖布。程序。 80,编号3-5,154-179(2011).MSC公司:68层35 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Martín}和\textit{E.Pimentel},J.Log。阿尔盖布。程序。80,编号3--5,154-179(2011;Zbl 1213.68615) 全文: 内政部
安东尼奥·布罗吉 利用行为信息进行基于契约的服务发现和组合的潜在优势。 (英语) Zbl 1209.68133号 J.日志。阿尔盖布。程序。 80,第1期,3-12(2011).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Brogi},J.Log。阿尔盖布。程序。80,编号1,3--12(2011年;Zbl 1209.68133) 全文: 内政部
沃尔夫拉姆·卡尔 具有域的有序类别中关系替换的确定。 (英语) Zbl 1203.18007号 J.日志。阿尔盖布。程序。 79,第8期,812-829(2010).MSC公司:18立方厘米 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Kahl},J.Log。阿尔盖布。程序。79,第8号,812--829(2010;Zbl 1203.18007) 全文: 内政部
彼得·霍夫纳;乔治·斯特鲁斯 非终结的代数概念:幂等半环中的Omega和散度。 (英语) Zbl 1205.68111号 J.日志。阿尔盖布。程序。 79,第8期,794-811(2010).MSC公司:68号01 68N99型 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.Höfner}和\textit{G.Struth},J.Log。阿尔盖布。程序。79,第8号,794--811(2010;Zbl 1205.68111) 全文: 内政部
Jean-Lou De Carufel;朱尔斯·德沙奈斯 恶魔加细代数的抽象表示定理。 (英语) Zbl 1200.68070号 J.日志。阿尔盖布。程序。 79,第8期,740-767(2010).MSC公司:68号30 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.-L.De Carufel}和\textit{J.Desharnais},J.Log。阿尔盖布。程序。79,第8号,740--767(2010;Zbl 1200.68070) 全文: 内政部
克里斯蒂安·普里萨卡里奥 同步Kleene代数。 (英语) Zbl 1204.68123号 J.日志。阿尔盖布。程序。 79,第7号,608-635(2010).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Prisacariu},J.Log。阿尔盖布。程序。79,第7号,608--635(2010;Zbl 1204.68123) 全文: 内政部
伦纳特·贝林格 关系字节码关联。 (英语) Zbl 1204.68070号 J.日志。阿尔盖布。程序。 79,第7期,483-514(2010).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{L.Beringer},J.Log(简·洛格)。阿尔盖布。程序。79,第7号,483--514(2010;Zbl 1204.68070) 全文: 内政部
格里高·罗什乌;☑特拉安·弗洛林(Traian Florin) K语义框架概述。 (英语) Zbl 1214.68188号 J.日志。阿尔盖布。程序。 79,编号6,397-434(2010).MSC公司:2012年第68季度 68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{G.Rošu}和\textit{T.F.⁄erbţnu},J.Log。阿尔盖布。程序。79,第6号,397--434(2010;Zbl 1214.68188) 全文: 内政部
巴纳赫,R。;杰斯克,C。 更强的裁员成分。 (英语) Zbl 1209.68131号 J.日志。阿尔盖布。程序。 79,No.3-5,215-232(2010).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{R.Banach}和\textit{C.Jeske},J.Log。阿尔盖布。程序。79,编号3--5,215--232(2010;Zbl 1209.68131) 全文: 内政部
沃尔特·古特曼;伯恩哈德·莫勒 正规设计代数。 (英语) Zbl 1184.68179号 J.日志。阿尔盖布。程序。 79,第2期,144-173(2010).MSC公司:68N99型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{W.Guttmann}和\textit{B.Möller},J.Log。阿尔盖布。程序。79,第2号,144--173(2010;Zbl 1184.68179) 全文: 内政部 链接
丹尼尔·戈拉;罗萨里奥·普格利泽 使用支持网络的协调语言动态管理功能。 (英语) Zbl 1183.68041号 J.日志。阿尔盖布。程序。 78,第8期,665-689(2009).MSC公司:68M10个 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{D.Gorla}和\textit{R.Pugliese},J.Log。阿尔盖布。程序。78,第8号,665--689(2009;Zbl 1183.68041) 全文: 内政部
安藤萨巴斯;塔尔莫乌斯塔卢 部分冗余消除的证明优化。 (英语) Zbl 1187.68167号 J.日志。阿尔盖布。程序。 78,第7号,619-642(2009).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Saabas}和\textit{T.Uustalu},J.Log。阿尔盖布。程序。78,第7号,619--642(2009;Zbl 1187.68167) 全文: 内政部
亚历杭德罗·拉索;安德烈·萨贝尔菲尔德 在同步状态下确保线程和调度程序之间的交互。 (英语) Zbl 1187.68310号 J.日志。阿尔盖布。程序。 78,第7号,593-618(2009).MSC公司:68问题55 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Russo}和\textit{A.Sabelfeld},J.Log。阿尔盖布。程序。78,编号7,593--618(2009年;兹bl 1187.68310) 全文: 内政部
瓦伦蒂安·瓦莱罗;米米利亚·坎布罗内罗;格雷戈里奥·迪亚斯;赫梅内吉尔达·马西阿 用于设计和分析web服务编排的Petri网方法。 (英语) Zbl 1188.68205号 J.日志。阿尔盖布。程序。 78,第5号,359-380(2009).MSC公司:68问题85 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{V.Valero}等人,J.Log。阿尔盖布。程序。78,第5号,359--380(2009;Zbl 1188.68205) 全文: 内政部
北卡罗来纳州比埃洛娃。;北德拉戈尼。;马萨奇,F。;Naliuka,K。;我·西亚汉。 在移动代码的安全性契约中进行匹配。 (英语) Zbl 1192.68236号 J.日志。阿尔盖布。程序。 78,第5号,340-358(2009).MSC公司:68第25页 PDF格式BibTeX公司 XML格式引用 \textit{N.Bielova}等人,J.Log。阿尔盖布。程序。78,第5号,340-358(2009;Zbl 1192.68236) 全文: 内政部
艾伦·阿克图格;达姆,麦兹;古罗夫,帝力 运行时监控正确无误。 (英语) Zbl 1192.68116号 J.日志。阿尔盖布。程序。 78,编号50304-339(2009).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{I.Aktug}等人,J.Log。阿尔盖布。程序。78,第5号,304--339(2009;Zbl 1192.68116) 全文: 内政部
克里斯蒂安·布鲁内特;Jean-Pierre塔宾;阿卜杜拉耶·加马蒂;蒂埃里·戈蒂埃 多时系统设计的元模型。 (英语) Zbl 1183.68282号 J.日志。阿尔盖布。程序。 78,第4期,233-259(2009).MSC公司:2010年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{C.Brunette}等人,J.Log。阿尔盖布。程序。78,第4号,233--259(2009;Zbl 1183.68282) 全文: 内政部
A.W.罗斯科。 CSP模型的复兴、僵化和层次结构。 (英语) Zbl 1171.68025号 J.日志。阿尔盖布。程序。 78,第3期,163-190(2009).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.W.Roscoe},J.Log。阿尔盖布。程序。78,第3号,163--190(2009;Zbl 1171.68025) 全文: 内政部 链接
彼得·霍夫纳;伯恩哈德·莫勒 混合系统的代数。 (英语) Zbl 1161.68032号 J.日志。阿尔盖布。程序。 78,第2期,74-97(2009).MSC公司:70年第68季度 93B25型 PDF格式BibTeX公司 XML格式引用 \textit{P.Höfner}和\textit{B.Möller},J.Log。阿尔盖布。程序。78,第2号,74--97(2009;Zbl 1161.68032) 全文: 内政部 链接
杨晓晓;段振华 框架Tempura的操作语义。 (英语) Zbl 1170.68006号 J.日志。阿尔盖布。程序。 78,编号1,22-51(2008).MSC公司:68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{X.Yang}和\textit{Z.Duan},J.Log。阿尔盖布。程序。78,编号1,22--51(2008;Zbl 1170.68006) 全文: 内政部
郭海峰;巴拉特·贾亚拉曼 具有解决方案首选项的逻辑编程。 (英语) Zbl 1170.68004号 J.日志。阿尔盖布。程序。 78,第1期,1-21期(2008年).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{H.-F.Guo}和\textit{B.Jayaraman},J.Log。阿尔盖布。程序。78,编号1,1--21(2008;Zbl 1170.68004) 全文: 内政部
西蒙·克莱默 加密协议逻辑:满足(定时)Dolev-Yao加密。 (英语) Zbl 1151.94012号 J.日志。阿尔盖布。程序。 77,编号1-2,60-91(2008).MSC公司:94A60型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Kramer},J.Log。阿尔盖布。程序。77,编号1-2,60-91(2008年;兹bl 1151.94012) 全文: 内政部
A.K.McIver。;冈萨利亚,C。;科恩,E。;C.C.摩根。 使用概率Kleene代数pKA进行协议验证。 (英语) Zbl 1148.68034号 J.日志。阿尔盖布。程序。 76,第1号,90-111(2008).MSC公司:60年第68季度 68个M12 68米14 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.K.McIver}等人,J.Log。阿尔盖布。程序。76,编号1,90-111(2008;兹bl 1148.68034) 全文: 内政部
彼得·霍夫纳;伯恩哈德·莫勒 代数邻域逻辑。 (英语) Zbl 1142.03036号 J.日志。阿尔盖布。程序。 76,第1期,35-59(2008).MSC公司:03G25号 03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{P.Höfner}和\textit{B.Möller},J.Log。阿尔盖布。程序。76,编号1,35-59(2008;Zbl 1142.03036) 全文: 内政部 链接
卡马尔·阿布尔·霍恩;德克斯特·科赞 局部变量范围和Kleene代数与测试。 (英语) Zbl 1148.68033号 J.日志。阿尔盖布。程序。 76,第1期,第3-17页(2008年).MSC公司:60年第68季度 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{K.Aboul-Hosn}和\textit{D.Kozen},J.Log。阿尔盖布。程序。76,第1号,第3--17号(2008;Zbl 1148.68033) 全文: 内政部
巴纳赫,R。;杰斯克,C。;波普尔顿,M。 裁员的组成机制。 (英语) Zbl 1137.68037号 J.日志。阿尔盖布。程序。 75,第2期,209-229(2008).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Banach}等人,J.Log。阿尔盖布。程序。75,第2号,209--229(2008;Zbl 1137.68037) 全文: 内政部 链接
塞尔吉奥·马菲斯;菲利普·加德纳 动态web数据的行为等效性。 (英语) Zbl 1135.68005号 J.日志。阿尔盖布。程序。 75,第1期,86-138(2008).MSC公司:68M10个 68问题85 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{S.Maffeis}和\textit{P.Gardner},J.Log。阿尔盖布。程序。75,编号1,86--138(2008;Zbl 1135.68005) 全文: 内政部
布鲁诺·布兰切特;马丁·阿巴迪;塞德里克·Fornet 自动验证安全协议的选定等效项。 (英语) Zbl 1135.68007号 J.日志。阿尔盖布。程序。 75,第1期,第3-51页(2008年).MSC公司:68个M12 68M10个 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Blanchet}等人,J.Log。阿尔盖布。程序。75,第1、3--51号(2008;Zbl 1135.68007) 全文: 内政部
亚历山德拉·迪·皮耶罗;克里斯·汉金;伊戈尔·西维罗尼;赫伯特,威克利基 Tempus fugit:如何插入。 (英语) Zbl 1119.68051号 J.日志。阿尔盖布。程序。 72,第2期,173-190(2007).MSC公司:68N99型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{A.Di Pierro}等人,J.Log。阿尔盖布。程序。72,第2号,173--190(2007;Zbl 1119.68051) 全文: 内政部
阿娜·阿尔梅达·马托斯;杰拉德·布多尔;伊利亚州卡斯特拉尼 为反应程序键入非干扰。 (英语) Zbl 1119.68056号 J.日志。阿尔盖布。程序。 72,第2期,124-156(2007).MSC公司:68N99型 68N17号 68问题85 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Matos}等人,J.Log。阿尔盖布。程序。72,第2号,124--156(2007;Zbl 1119.68056) 全文: 内政部
丹尼尔·赫希科夫;Damien Pous;戴维·桑吉奥吉 安全环境的高效抽象机器。 (英语) Zbl 1116.68056号 J.日志。阿尔盖布。程序。 71,第2期,114-149(2007).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.Hirschkoff}等人,J.Log。阿尔盖布。程序。71,编号2,114-149(2007年;Zbl 1116.68056) 全文: 内政部 链接
吉尔根·吉斯尔;阿明·库内曼;贾尼斯·沃格特兰德 用于提高可证明性的去累积技术。 (英语) Zbl 1116.68077号 J.日志。阿尔盖布。程序。 71,第2号,79-113(2007).MSC公司:第68页第15页 68甲18 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Giesl}等人,J.Log。阿尔盖布。程序。71,No.2,79--113(2007;Zbl 1116.68077) 全文: 内政部
庞、军;Wan Fokkink公司;罗格·霍夫曼;罗纳德·维尔德马 模型检查Java DSM实现的缓存一致性协议。 (英语) Zbl 1106.68013号 J.日志。阿尔盖布。程序。 71,第1期,1-43页(2007年).MSC公司:68甲15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Pang}等人,J.Log。阿尔盖布。程序。71,第1号,1-43(2007;Zbl 1106.68013) 全文: 内政部
罗伯特·阿马迪奥(Roberto M.Amadio)。 SL同步语言,重温。 (英语) Zbl 1106.68016号 J.日志。阿尔盖布。程序。 70,第2期,121-150(2007).MSC公司:第68页第19页 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.M.Amadio},J.Log。阿尔盖布。程序。70,第2号,121--150(2007;Zbl 1106.68016) 全文: 内政部
阿尔贝托·维尔德乔;马丁·奥列特,纳西索 Maude中的可执行结构操作语义。 (英语) Zbl 1088.68095号 J.日志。阿尔盖布。程序。 67,编号1-2226-293(2006).MSC公司:68问题55 60年第68季度 68问题85 03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Verdejo}和\textit{N.Martí-Oliet},J.Log。阿尔盖布。程序。67,编号1--2,226--293(2006;Zbl 1088.68095) 全文: 内政部 链接
米歇尔·比多特;罗尔夫·亨尼克 基于构造函数的观测逻辑。 (英语) Zbl 1088.68112号 J.日志。阿尔盖布。程序。 67,编号1-2,3-51(2006).MSC公司:68问题65 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Bidoit}和\textit{R.Hennicker},J.Log。阿尔盖布。程序。67,编号1--2,3--51(2006;Zbl 1088.68112) 全文: 内政部
拉杰夫·阿鲁尔;拉杜·格罗苏;李因苏普;奥列格·索科尔斯基 分层混合系统的组合建模和优化。 (英语) Zbl 1088.68098号 J.日志。阿尔盖布。程序。 68,编号1-2,105-128(2006).MSC公司:60年第68季度 68问题55 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人,J.Log。阿尔盖布。程序。68,编号1--2,105-128(2006;Zbl 1088.68098) 全文: 内政部
罗兰·巴克豪斯 正则代数应用于语言问题。 (英语) Zbl 1086.68069号 J.日志。阿尔盖布。程序。 66,第2期,71-111(2006).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Backhouse},J.Log。阿尔盖布。程序。66,No.2,71--111(2006;Zbl 1086.68069) 全文: 内政部
博特尼克,E。;北卡罗来纳州特里卡。;A.J.威伊斯。;B.卢提克。;范·德·莫特尔·弗朗茨克(J.M.Van De Mortel-Fronczak)。;巴顿,J.C.M。;W.J.福克金。;罗达,J.E。 使用Spin、CADP和Uppaal分析转台系统的(chi)模型。 (英语) Zbl 1088.68523号 J.日志。阿尔盖布。程序。 65,第2期,51-104(2005).MSC公司:68平方米 68米15 90B30型 PDF格式BibTeX公司 XML格式引用 \textit{E.Bortnik}等人,J.Log。阿尔盖布。程序。65,No.2,51--104(2005;Zbl 1088.68523) 全文: 内政部
米卡埃尔·克勒布·乌夫;Jean-Pierre塔宾 嵌入式系统服务自适应同步计算模型中的封装和行为继承。 (英语) Zbl 1080.68016号 J.日志。阿尔盖布。程序。 63,第2期,241-269(2005).MSC公司:68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Kerbœuf}和\textit{J.-P.Talpin},J.Log。阿尔盖布。程序。63,第2号,241--269(2005;Zbl 1080.68016) 全文: 内政部
卡洛斯·库斯塔(Carlos E.Cuesta)。;de la Fuente,巴勃罗;Manuel Solórzano村;Beato,M.Encarnación 代数动态体系结构描述的“抽象过程”方法。 (英语) Zbl 1080.68077号 J.日志。阿尔盖布。程序。 63,第2期,177-214(2005).MSC公司:68问题85 68号30 PDF格式BibTeX公司 XML格式引用 \textit{C.E.Cuesta}等人,J.Log。阿尔盖布。程序。63,第2号,177--214(2005;Zbl 1080.68077) 全文: 内政部
P.J.L.Cuijpers。;Reniers,医学硕士。 混合进程代数。 (英语) Zbl 1090.68071号 J.日志。阿尔盖布。程序。 62,第2期,191-245(2005).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.J.L.Cuijpers}和\textit{M.A.Reniers},J.Log。阿尔盖布。程序。62,第2号,191--245(2005;Zbl 1090.68071) 全文: 内政部
H.A.德容。;奥利维尔,P.A。 从语法定义生成抽象编程接口。 (英语) 兹比尔1068.68045 J.日志。阿尔盖布。程序。 59,编号1-2,35-61(2004).MSC公司:68号30 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{H.A.de Jong}和\textit{P.A.Olivier},J.Log。阿尔盖布。程序。59,编号1--2,35-61(2004;Zbl 1068.68045) 全文: 内政部 链接
马歇,C。;Paulin Mohring,C。;X·乌尔班。 用于认证JML中注释的JAVA/JAVACARD程序的KRAKATOA工具。 (英语) Zbl 1073.68678号 J.日志。阿尔盖布。程序。 58,编号1-2,89-106(2004).MSC公司:60年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{C.Marché}等人,J.Log。阿尔盖布。程序。58,编号1--2,89-106(2004;Zbl 1073.68678) 全文: 内政部
Igor A.Siveroni。 Java卡虚拟机的操作语义。 (英语) Zbl 1073.68673号 J.日志。阿尔盖布。程序。 58,第1-2、3-25号(2004).MSC公司:68问题55 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{I.A.Siveroni},J.Log。阿尔盖布。程序。58,编号1--2,3--25(2004;Zbl 1073.68673) 全文: 内政部
塞德里克·Fornet;科西莫·拉内夫;吕克·马兰吉特;雷米,迪迪埃 连接演算中的继承。 (英语) Zbl 1035.03011号 J.日志。阿尔盖布。程序。 57,第1-2期,23-69(2003).MSC公司:03B70号 68问题85 68号30 PDF格式BibTeX公司 XML格式引用 \textit{C.Fournet}等人,J.Log。阿尔盖布。程序。57、编号1--2、23-69(2003;Zbl 1035.03011) 全文: 内政部
霍尔格·赫尔曼斯;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;马库斯·西格尔 关于使用MTBDD进行随机系统的性能分析和验证。 (英语) Zbl 1054.68018号 J.日志。阿尔盖布。程序。 56,第1-2期,23-67(2003).MSC公司:68平方米 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Hermanns}等人,J.Log。阿尔盖布。程序。56,编号1--2,23-67(2003;Zbl 1054.68018) 全文: 内政部
J.F.格罗特。;庞,J。;沃特斯,A.G。 起重车分布式系统分析。 (英语) Zbl 1048.68055号 J.日志。阿尔盖布。程序。 55,第1-2、21-56号(2003年).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Groote}等人,J.Log。阿尔盖布。程序。55,编号1--2,21-56(2003;Zbl 1048.68055) 全文: 内政部
拉尔夫·拉梅尔 使用术语重写策略的类型化泛型遍历。 (英语) 兹比尔1026.68076 J.日志。阿尔盖布。程序。 54,第1-2、1-64号(2003).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Lämmel},J.Log。阿尔盖布。程序。54,编号1--2,1--64(2003;Zbl 1026.68076) 全文: 内政部
亲爱的,丹尼斯;亚辛·拉赫内奇;马丁·斯特芬 迭代换能器。 (英语) 兹比尔1008.68062 J.日志。阿尔盖布。程序。 52-53, 109-127 (2002).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Dams}等人,J.Log。阿尔盖布。程序。52-53、109-127(2002年;Zbl 1008.68062) 全文: 内政部
维托里奥·科泰莱萨;文森佐·格拉西 一种基于性能的方法,用于早期评估移动软件架构的有效性。 (英语) 兹比尔1008.68019 J.日志。阿尔盖布。程序。 51,第1号,77-100(2002).MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{V.Cortellessa}和\textit{V.Grassi},J.Log。阿尔盖布。程序。51,第1号,77--100(2002;Zbl 1008.68019) 全文: 内政部
格内西、斯特凡尼亚;迭戈·拉特拉;梅克·马西克 UML状态图内核的模块化语义及其对多图表和分支时间模型检查的扩展。 (英语) Zbl 1008.68074号 J.日志。阿尔盖布。程序。 51,第1期,第43-75页(2002年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Gnesi}等人,J.Log。阿尔盖布。程序。51,第1号,43--75(2002;Zbl 1008.68074) 全文: 内政部
巴顿,J.C.M。;加利福尼亚州米德尔堡。 具有时间相关条件的实时进程代数。 (英语) Zbl 0992.68152号 J.日志。阿尔盖布。程序。 48,第1-2、1-38号(2001年).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.C.M.Baeten}和\textit{C.A.Middelburg},J.Log。阿尔盖布。程序。48,编号1--2,1--38(2001;Zbl 0992.68152) 全文: 内政部
吐温·巴斯滕;Wil M.P.范德阿尔斯特。 行为的继承。 (英语) Zbl 0974.68137号 J.日志。阿尔盖布。程序。 47,第2期,47-145(2001).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Basten}和\textit{W.M.P.van der Aalst},J.Log。阿尔盖布。程序。47,第2号,47--145(2001年;兹bl 0974.68137) 全文: 内政部