Content deleted Content added
criterium --> criterion, etc. using AWB |
Leolaursen (talk | contribs) m →Preservation of distribution: Repairing link to disambiguation page - You can help! |
||
Line 70:
=== Preservation of distribution ===
This assumes the existence of a notion of distribution on both language A and language B. Typically, for compilation of distributed programs written in [[Acute (programming language)|Acute]], [[JoCaml]] or E, this means distribution of processes and data among several computers or CPUs.
; soundness : if a term <math>T_A</math> is the composition of two agents <math>T_A^1~|~T_A^2</math> then <math>[T_B]</math> must be the composition of two agents <math>[T_A^1]~|~[T_A^2]</math>.
| |||