An executable specification of asynchronous Pi-calculus semantics and may testing in Maude 2.0

  1. Thati, P.
  2. Sen, K.
  3. Martí-Oliet, N.
Zeitschrift:
Electronic Notes in Theoretical Computer Science

ISSN: 1571-0661

Datum der Publikation: 2004

Ausgabe: 71

Seiten: 261-281

Art: Konferenz-Beitrag

DOI: 10.1016/S1571-0661(05)82539-3 GOOGLE SCHOLAR lock_openOpen Access editor
Datenquelle: Scopus