Parallel programming in Maude (0)

by J Meseguer, T Winkler
Venue:In Research Directions in High-Level Parallel Programming Languages, J.P.Banâtre and D.Le Métayer (eds), Springer LNCS 574