Go backward to Further Compositon Go up to Top Go forward to Equality of Agents

Reformulations

• Alternative formulation:
  • ((Jobber | Jobber | Hammer)\{geth, puth}
    | Mallet)\{getm, putm}
  • Algebra of combinators with certain laws of equivalence.
• Relabelling Operator
  • P[l'₁/l₁,...,l'_n/l_n]
  • f(l) = f(l)

• Semaphore agent
  • Sem := get.put.Sem
• Reformulation of tools
  • Hammer := Sem[geth/get, puth/put]
  • Mallet := Sem[getm/get, putm/put]