维普期刊资源整合服务平台（V6.5）

72篇 您的检索式：作者名="J Parrow"

选中清除导出查看参考文献查看引证文献引用追踪共4页首页上一页第1页下一页末页 /4 跳转

	题名	作者	年代	出处	被引量
1	Late paleocene to eocene paleocenography of the equatorial pacific ocean: stable isotopes recorded at ocean drilling program site 865, allison guyot显示文摘	Zachos J C Thomas E Parrow M Paul C K Kelly D C Silva I P Sliter W V Lohmann K C	1995	Paleoceanography1995，10，：	1
2	A calculus of mobile processes显示文摘	MILNER R PARROW J WALKER D	1992	Journal of Information and Computation1992，100，9：	1
3	A Calculus of Mobile Processes,I显示文摘	Milner R Parrow J Walker D	1992	Information and Computation (S0890-5401)1992，100，1：	1
4	A Calculus of Mobile Processes,Part Ⅰ/Ⅱ显示文摘	Milner R Parrow J Walker D	1992	Journal of Information and Computation1992，，：	1
5	A calculus of mobile processesⅡ显示文摘	MILNER R PARROW J WALKER D	1992	Information and Computation1992，100，1：	1
6	A calculus of mobile processes显示文摘	Milner R Parrow J Walker D	1992	Journal of Information and Computation1992，100，：	1
7	A calculus of mobile processes 显示文摘	Milner R Parrow J Walker D	1992	Journal of information and computation1992，100，1：	1
8	A calculus of mobile processes,Parts Ⅰ and Ⅱ显示文摘	MILNER R PARROW J WALKER D	1992	Journal of Information and Computation1992，，：	1
9	A calculus of mobile process:Parts Ⅰ and Ⅱ显示文摘	MILNER R PARROW J WALKER D	1992	Information and Computation1992，100，1：	1
10	A Calculus of Mobile Processes,Parts I and II显示文摘	R Milner J Parrow	1992	Information and Computation1992，140，：	1
11	A calculus of mo- bile processes part Ⅰ/Ⅱ显示文摘	Milner R Parrow J Walker D	1992	Journal of Information and Computation1992，100，1：	1
12	Deciding Bisimulation Equivalences For A Class Of Non-finite-state Programs显示文摘	JONSSON B PARROW J	1993	Journal of Information and Computation1993，107，2：	1
13	The concurrency workbench:a senlalltics-based tool for the verification of concurrent systems显示文摘	Cleaveland R Parrow J Steffen B	1993	ACM Transactions on Programming Languages and Systems1993，15，1：	1
14	Grazing by microzooplankton on Pfiesteria piscicida cultures with different life histories of toxicity显示文摘	PARROW M W BURKHOLDER J M	2002	Aquat Microb Ecol2002，28，1：	1
15	The concurrency workbench:a semantics-based verification tool for the verification of concurrent systems 显示文摘	Cleavel R Parrow J Stefen B	1993	ACM Transactions on Programming Languages and Systems1993，5，1：	1
16	A Calculus for Mobile Processes,Parts 1-2显示文摘	Milner R Parrow J Walker D	1992	Information and Computation1992，100，1：	1
17	A calculus of mobile processes 显示文摘	Milner R Parrow J Walker D	1992	Information and Computation1992，100，1：	1
18	A calculus of mobile processes, I显示文摘	Milner R Parrow J Walker D	1992	Information and Computation1992，100，1：	1
19	Expressiveness of process algebra显示文摘	Parrow J	2008	Electronical Notes in Theoretical Computer Science2008，209，：	1
20	A catcutus of mobile processes Ⅰ,Ⅱ 显示文摘	MILNER R PARROW J WALKER D	1992	Inf Comput1992，100，1：	1

返回顶部每页显示：

共4页首页上一页第1页下一页末页 /4 跳转

互联网出版许可证新出网证(渝)字10号全国400电话 - 免长途话费

用户提示