Algebraic simulations
- Meseguer, J.
- Palomino, M.
- Martí-Oliet, N.
ISSN: 1567-8326
Année de publication: 2010
Volumen: 79
Número: 2
Pages: 103-143
Type: Article
Revue:
Journal of Logic and Algebraic Programming
