@UNPUBLISHED{DeFrutosEtAl08c,
  author =       {de Frutos-Escrig, David and Carlos Gregorio-Rodr{\'\i}guez
                  and Miguel Palomino},
  title =        {On the unification of process semantics: operational 
                  semantics},
  year =         2008,
  note =         {Submitted}
}