×

找到8个文档（结果1-8）

最新的 引文 关联
大卫·基钦；Quark，阿德里安；威廉·库克；贾亚德夫·米斯拉

兽人编程语言。 （英语） Zbl 1217.68049号

Lee，David（编辑）等人，《分布式系统的形式化技术》。2009年6月9日至12日，葡萄牙里斯本，第11届IFIP工作组6.1国际会议FMOODS 2009和第29届IFIP WG 6.1国际会议FORTE 2009。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02137-4/pbk）。计算机科学课堂讲稿5522，1-25（2009）。
MSC公司：68甲15 68甲18 68甲19 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.Kitchin}等人，Lect。票据计算。科学。5522，1--25（2009；Zbl 1217.68049）
全文： 内政部
大卫·基钦；威廉·库克。；贾亚德夫·米斯拉

一种用于任务编排及其语义属性的语言。 （英语） Zbl 1151.68360号

Baier，Christel（编辑）等人，CONCUR 2006–并发理论。第17届国际会议，CONCUR 2006，德国波恩，2006年8月27日至30日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-37376-6/pbk）。计算机科学课堂讲稿4137477-491（2006）。
MSC公司：68甲19 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.Kitchin}等人，Lect。票据计算。科学。4137477--491（2006年；Zbl 1151.68360）
全文： 内政部
拉杰夫·乔希；贾亚德夫·米斯拉

走向最大并发程序理论（简称）。 （英语） Zbl 1314.68198号

2000年7月16日至19日，美国俄勒冈州波特兰，PODC’00，第19届ACM分布式计算原理研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-183-6）。319-328 (2000).
MSC公司：68问题85 64岁以下 68甲19 68宽10 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{R.Joshi}和\textit{J.Misra}，in：第19届ACM分布式计算原理研讨会论文集，PODC’00，波特兰，俄勒冈州，美国，2000年7月16-19日。纽约州纽约市：计算机协会（ACM）。319--328（2000年；Zbl 1314.68198）
全文： 内政部
贾亚德夫·米斯拉

面向对象编程用于广域计算。 （英语） Zbl 0968.68033号

Smith，Scott F.（ed.）等人，《基于开放对象的分布式系统的形式化方法IV.IFIP TC6/WG6.1》。2000年9月6日至8日，第四届国际会议，FMOODS 2000，美国加利福尼亚州斯坦福市。波士顿：Kluwer学术出版社。209 (2000).
MSC公司：68甲19 68M10个
PDF格式BibTeX公司 XML格式引用
\textit{J.Misra}，in：开放式基于对象的分布式系统的形式化方法IV.IFIP TC6/WG6。1.第四届国际会议，FMOODS 2000，斯坦福，加利福尼亚州，美国，2000年9月6-8日。波士顿：Kluwer学术出版社。209（2000；Zbl 0968.68033）
贾亚德夫·米斯拉

模块化多道程序设计。 （英语） Zbl 0959.68508号

Broy，Manfred（编辑）等人，《计算系统设计》。1998年7月28日至8月9日，德国马克托伯多夫第19届国际暑期学校会议记录。阿姆斯特丹：IOS出版社。北约ASI系列。，序列号。F、 计算。系统。科学。131-165 (1999).
MSC公司：68甲19 68号01
PDF格式BibTeX公司 XML格式引用
\textit{J.Misra}，北约ASI Ser。，序列号。F、 计算。系统。科学。131-165113-165（1999年；兹bl 0959.68508）

筛选结果依据…

文档类型

全部的 前5名

作者

串行

全部的 前5名

出版年份

主字段

全部的 前3名

软件