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]

Id: ccs1.tex,v 1.1 1996/06/05 15:04:53 schreine Exp schreine