Now showing items 1-1 of 1

  • On Process Equivalence = Equation Solving in CCS 

    Bundy, Alan; Monroy, Raul; Green, Ian (Springer, 2009-06)
    Unique Fixpoint Induction (UFI) is the chief inference rule to prove the equivalence of recursive processes in the Calculus of Communicating Systems (CCS) (Milner 1989). It plays a major role in the equational approach to ...