Revision as of 00:13, 18 May 2005 edit Michael Hardy (talk \| contribs) Administrators 210,577 edits m Simplifying a link. ← Previous edit		Revision as of 00:13, 18 May 2005 edit undo Michael Hardy (talk \| contribs) Administrators 210,577 edits m →Preservation of distribution Next edit →
Line 76: ; 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>. ; completeness : if a term <math>[T_A]</math> is the composition of two agents <math>T_B^1~\|~T_B^2</math> then <math>T_B</math> must be the composition of two agents <math>T_A^1~\|~T_A^2</math> such that <math>[T_A^1]=T_B^1</math> and <math>[T_A^2]=T_B^2</math>. == See also ==

Semantics encoding: Difference between revisions