Parallel Programmming in Maude

@inproceedings{Meseguer1991ParallelPI,
  title={Parallel Programmming in Maude},
  author={Jos{\'e} Meseguer and Timothy C. Winkler},
  booktitle={Research Directions in High-Level Parallel Programming Languages},
  year={1991}
}