Nanotechnology: opportunities and challenges
暂无分享,去创建一个
[1] C. A. R. Hoare,et al. An axiomatic basis for computer programming , 1969, CACM.
[2] John von Neumann,et al. Theory Of Self Reproducing Automata , 1967 .
[3] K. Eric Drexler,et al. Nanosystems - molecular machinery, manufacturing, and computation , 1992 .
[4] Robin Milner,et al. A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.
[5] Leslie Lamport,et al. The temporal logic of actions , 1994, TOPL.
[6] Luca Cardelli,et al. Mobile Ambients , 1998, FoSSaCS.
[7] M. Gordon. HOL: A Proof Generating System for Higher-Order Logic , 1988 .
[8] John C. Reynolds,et al. Towards a theory of type structure , 1974, Symposium on Programming.
[9] C. A. R. Hoare,et al. A Theory of Communicating Sequential Processes , 1984, JACM.
[10] Przemyslaw Prusinkiewicz,et al. The Algorithmic Beauty of Plants , 1990, The Virtual Laboratory.
[11] Rance Cleaveland,et al. The concurrency workbench: a semantics-based tool for the verification of concurrent systems , 1993, TOPL.
[12] Amir Pnueli,et al. The temporal logic of programs , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).
[13] Robert W. Floyd,et al. Assigning Meanings to Programs , 1993 .
[14] Susan Stepney,et al. Critical Critical Systems , 2002, FASec.
[15] Vaughan R. Pratt,et al. SEMANTICAL CONSIDERATIONS ON FLOYD-HOARE LOGIC , 1976, FOCS 1976.
[16] Robin Milner,et al. A Calculus of Mobile Processes, II , 1992, Inf. Comput..