Analyzing Distributed Pi-Calculus Systems by Using the Rewriting Engine Maude.

Bogdan Aman, Gabriel Ciobanu

Browse the full VECoS paper archive.