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
Année de publication: 2004
Volumen: 71
Pages: 261-281
Type: Communication dans un congrès
ISSN: 1571-0661
Année de publication: 2004
Volumen: 71
Pages: 261-281
Type: Communication dans un congrès