Semantics encoding: Difference between revisions

Revision as of 13:47, 18 April 2005

Revision as of 13:52, 18 April 2005

Line 18:

; preservatio of termination (completeness) : assuming a notion of reduction/rewriting, for any term <math>[T_A]</math>, if all reductions of <math>[T_A]</math> converge, then all reductions of <math>T_A</math> converge.

=== Domain-specific properties ===

Under some circumstances, other properties can be important.

Under some circumstances, other properties can be important. For instance, in [[process algebra|process algebras]], encodings are often expected to preserve distribution:

; preservation of distribution : 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>