论文信息 - Action calculi V: Reflexive molecular forms - 字舞流文

Action calculi V: Reflexive molecular forms

Robin Milner | R. Milner

[1] Robin Milner. Action calculi IV: molecular forms , 1993 .

[2] Gérard Berry,et al. The chemical abstract machine , 1989, POPL '90.

[3] Robin Milner. Action Calculi, or Syntactic Action Structures , 1993, MFCS.