莫里斯·比克。;码头Kleijn 无限的不公平洗牌和联想。 (英语) 兹伯利1118.68112 西奥。计算。科学。 380,第3号,401-410(2007).MSC公司:68兰特 PDF格式BibTeX公司 XML格式引用 \textit{M.H.ter Beek}和\textit{J.Kleijn},Theor。计算。科学。380,第3号,401-410(2007;Zbl 1118.68112) 全文: 内政部
唐纳德·麦肯齐 计算和证明文化。 (英语) Zbl 1152.68466号 菲洛斯。事务处理。英国皇家学会。,序列号。A、 数学。物理学。工程科学。 363,编号1835,2335-2350(2005).MSC公司:60年第68季度 00A30型 03A05号 03B35型 PDF格式BibTeX公司 XML格式引用 \发短信{麦肯齐},菲洛斯。事务处理。英国皇家学会。,序列号。A、 数学。物理学。工程科学。363,编号1835,2335--2350(2005;Zbl 1152.68466) 全文: 内政部
莫里斯·比克。;卡洛斯·马丁·维德;维克托·米特拉纳 同步洗牌。 (英语) Zbl 1077.68086号 西奥。计算。科学。 341,编号1-3,263-275(2005).MSC公司:68兰特 65年第68季度 92D10型 PDF格式BibTeX公司 XML格式引用 \textit{M.H.ter Beek}等人,Theor。计算。科学。341,编号1--3,263--275(2005;Zbl 1077.68086) 全文: 内政部
赫曼吉·K·卡普尔。;马克·B·约瑟夫。 使用CCS和并发工作台对延迟敏感电路进行建模和验证。 (英语) Zbl 1183.68387号 信息处理。莱特。 89,第6期,293-296(2004).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{H.K.Kapoor}和\textit{M.B.Josephs},Inf.Process。莱特。89,第6号,293--296(2004;Zbl 1183.68387) 全文: 内政部
Brzozowski,J.A。 延迟敏感性和三值模拟。 (英语) Zbl 0946.68005号 西奥。计算。科学。 245,第1期,3-25(2000).MSC公司:68M99型 2007年7月68日 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Brzozowski},Theor。计算。科学。245,编号1,3--25(2000;Zbl 0946.68005) 全文: 内政部
J.F.科斯塔。;塞尔纳达斯,A。 并发系统中的进度假设。 (英语) 兹伯利0817.68080 正式Asp。计算。 7,第1期,18-36页(1995年).MSC公司:2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Costa}和\textit{A.Sernadas},正式Asp。计算。7,编号1,18-36(1995;Zbl 0817.68080) 全文: 内政部
雷恩·斯梅丁加 锁定离散事件系统:如何建模和如何解锁。 (英语) Zbl 0769.93004号 离散事件动态。系统。 2,编号3-4,265-297(1993).MSC公司:93A10号 93A30型 PDF格式BibTeX公司 XML格式引用 \textit{R.Smedinga},离散事件动态。系统。2,编号3--4,265--297(1993;Zbl 0769.93004) 全文: 内政部
马克·B·约瑟夫。 接受过程理论。 (英语) Zbl 0724.68037号 学报信息。 29,第1期,17-32(1992).MSC公司:2010年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.B.Josephs},《学报》第29期,第1期,第17-32页(1992年;Zbl 0724.68037) 全文: 内政部
Jo C.埃贝根。 设计延迟敏感电路的正式方法。 (英语) 兹比尔0731.68081 分布计算。 5,第3期,107-119(1991).MSC公司:68问题85 94C99号 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Ebergen},分布式计算。5,第3号,107--119(1991;Zbl 0731.68081) 全文: 内政部
奥尔德罗格,恩斯特·吕迪格 并发进程的正确性。 (英语) Zbl 0745.68045号 西奥。计算。科学。 80,第2期,263-288(1991).MSC公司:2010年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{E.-R.Olderog},Theor(西奥)。计算。科学。80,第2号,263--288(1991;Zbl 0745.68045) 全文: 内政部
维姆·赫塞林克。 过渡系统形态中的死锁和公平。 (英语) Zbl 0648.68070号 西奥。计算。科学。 59,第3期,235-257(1988年).MSC公司:68问题85 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink},Theor(西奥·H·赫塞林克)。计算。科学。59,第3号,235--257(1988;Zbl 0648.68070) 全文: 内政部 链接
大卫·L·布莱克。 关于延迟敏感公平仲裁人的存在:追踪理论及其局限性。 (英语) Zbl 0643.94041号 分布计算。 1, 205-225 (1986).MSC公司:94立方厘米 68N99型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.L.Black},分布。计算。1205--225(1986;Zbl 0643.94041) 全文: 内政部
阿兰·马丁。 将通信过程编译成延迟敏感VLSI电路。 (英语) 兹伯利0643.94039 分布计算。 1, 226-234 (1986).MSC公司:94立方厘米 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{A.J.Martin},分布式计算。1226--234(1986;Zbl 0643.94039) 全文: 内政部
Van de Snepscheut,Jan L.A。;扬·蒂杰曼(Jan Tijmen Udding) 通信原语的替代实现。 (英语) Zbl 0622.68028号 信息处理。莱特。 23, 231-238 (1986). 审核人:H.施梅克 MSC公司:第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{J.L.A.Van de Snepscheut}和textit{J.T.Udding},Inf.Process。莱特。23、231--238(1986年;Zbl 0622.68028) 全文: 内政部