Implementing CCS in Maude 2 (2002)

by A Verdejo, N Martí-Oliet
Venue:In F. Gadducci, U. Montanari (Eds.), Proc. WRLA, Electronic Notes in Theoretical Computer Science