Login / Signup

An Executable Specification of Asynchronous Pi-Calculus Semantics and May Testing in Maude 2.0.

Prasanna ThatiKoushik SenNarciso Martí-Oliet
Published in: Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases