Calculi for interaction
暂无分享,去创建一个
[1] Robin Milner,et al. Control structures , 1995, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
[2] Gérard Berry,et al. The chemical abstract machine , 1989, POPL '90.
[3] Robin Milner,et al. A Calculus of Mobile Processes, II , 1992, Inf. Comput..
[4] Martín Abadi,et al. Explicit substitutions , 1989, POPL '90.
[5] José Meseguer,et al. Petri Nets Are Monoids , 1990, Inf. Comput..
[6] Mario Tokoro,et al. An Object Calculus for Asynchronous Communication , 1991, ECOOP.
[7] Daniel Le Métayer,et al. The GAMMA Model and Its Discipline of Programming , 1990, Sci. Comput. Program..
[8] Claudio Hermida,et al. Fibrational Control Structures , 1995, CONCUR.
[9] Robin Milner. Action Calculi, or Syntactic Action Structures , 1993, MFCS.
[10] Robin Milner. Functions as Processes , 1990, ICALP.
[11] Robin Milner. Action Structures for the -Calculus , 2005 .
[12] Philippa Gardner,et al. A name-free account of action calculi , 1995, MFPS.
[13] Robin Milner,et al. A Calculus of Mobile Processes, II , 1992, Inf. Comput..
[14] C. A. Petri. Fundamentals of a Theory of Asynchronous Information Flow , 1962, IFIP Congress.
[15] Robin Milner,et al. Action Structures and the Pi Calculus , 1995 .
[16] Robin Milner,et al. The Polyadic π-Calculus: a Tutorial , 1993 .
[17] Robin Milner. Higher-Order Action Calculi , 1993, CSL.
[18] Harold T. Hodes,et al. The | lambda-Calculus. , 1988 .
[19] Nobuko Yoshida,et al. On Reduction-Based Process Semantics , 1995, Theor. Comput. Sci..
[20] Yves Lafont,et al. Interaction nets , 1989, POPL '90.
[21] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.