Implementing CCS in Maude 2 (2002)

by A Verdejo, N Mart́ı-Oliet
Venue:Proceedings of WRLA’02, volume 117 of ENTCS