An executable specification of asynchronous Pi-calculus semantics and may testing in Maude 2.0
- Thati, P.
- Sen, K.
- Martí-Oliet, N.
ISSN: 1571-0661
Año de publicación: 2004
Volumen: 71
Páginas: 261-281
Tipo: Aportación congreso
ISSN: 1571-0661
Año de publicación: 2004
Volumen: 71
Páginas: 261-281
Tipo: Aportación congreso