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


 
 
Overview

To be written
Maude Specifications and Samples

A gzip'ped tar archive

Papers

TSMpi_2002
 Prasanna Thati, Koushik Sen and Narciso Martí-Oliet. An Executable Speci cation of Asynchronous Pi-Calculus Semantics and May Testing in Maude 2.0. In 4th International Workshop on Rewriting Logic and its Applications (WRLA'02). (PDF)

 
[Maude Home Page]