Results

**1 - 2**of**2**### SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators ✩

"... A unary operator f is idempotent if the equation f(x) = f(f(x)) holds. On the other end, an element a of an algebra is said to be an idempotent for a binary operator ⊙ if a = a ⊙ a. This paper presents a rule format for Structural Operational Semantics that guarantees that a unary operator be idemp ..."

Abstract
- Add to MetaCart

(Show Context)
A unary operator f is idempotent if the equation f(x) = f(f(x)) holds. On the other end, an element a of an algebra is said to be an idempotent for a binary operator ⊙ if a = a ⊙ a. This paper presents a rule format for Structural Operational Semantics that guarantees that a unary operator be idempotent modulo bisimilarity. The proposed rule format relies on a companion one ensuring that certain terms are idempotent with respect to some binary operator. This study also offers a variety of examples showing the applicability of both formats.

### SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators

"... A unary operator f is idempotent if the equation f(x) = f(f(x)) holds. On the other end, an element a of an algebra is said to be an idempotent for a binary operator ⊙ if a = a ⊙ a. This paper presents a rule format for Structural Operational Semantics that guarantees that a unary operator be idemp ..."

Abstract
- Add to MetaCart

A unary operator f is idempotent if the equation f(x) = f(f(x)) holds. On the other end, an element a of an algebra is said to be an idempotent for a binary operator ⊙ if a = a ⊙ a. This paper presents a rule format for Structural Operational Semantics that guarantees that a unary operator be idempotent modulo bisimilarity. The proposed rule format relies on a companion one ensuring that certain terms are idempotent with respect to some binary operator. This study also offers a variety of examples showing the applicability of both formats.