@InProceedings{VerdejoMarti-Oliet00,
   author =       {Alberto Verdejo and Narciso Mart{\'\i}-Oliet},
   title =        {Implementing {CCS} in {Maude}},
   booktitle =    {Formal Methods For Distributed System
                   Development. FORTE/PSTV 2000 IFIP TC6 WG6.1 Joint
                   International Conference on Formal
                   Description Techniques for Distributed Systems and
                   Communications Protocols (FORTE XIII) and Protocol
                   Specification, Testing and Verification (PSTV XX) October
                   10--13, 2000, Pisa, Italy},
   pages =        {351-366},
   year =         {2000},
   editor =       {Tommaso Bolognesi and Diego Latella},
   publisher =    {Kluwer Academic Publishers}
}