Parallel Multiset Processing: FRom Explicit Coordination to Chemical Reaction
暂无分享,去创建一个
[1] David Gries,et al. The Science of Programming , 1981, Text and Monographs in Computer Science.
[2] Zohar Manna,et al. Proving termination with multiset orderings , 1979, CACM.
[3] Daniel Le Métayer,et al. Gamma and the chemical reaction model: ten years after , 1996 .
[4] Jean-Pierre Banâtre,et al. A Multiprocessing Approach to Compile-Time Symbol Resolution , 1981, TOPL.
[5] C. A. R. Hoare,et al. Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.
[6] John W. Backus,et al. Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs , 1978, CACM.
[7] Daniel Le Métayer,et al. Programming by multiset transformation , 1993, CACM.
[8] Daniel Le Métayer,et al. The GAMMA Model and Its Discipline of Programming , 1990, Sci. Comput. Program..
[9] Edsger W. Dijkstra,et al. A Discipline of Programming , 1976 .
[10] Laurent Trilling,et al. An event-driven compiling technique , 1979, CACM.