Implementing CCS in Maude 2 (2002)

Cached

Download Links

by Alberto Verdejo , Narciso Martí-Oliet
Venue:Proceedings Fourth International Workshop on Rewriting Logic and its Applications, WRLA 2002
Citations:20 - 5 self