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

Prasanna Thati, Koushik Sen, Narciso Martí-Oliet. An Executable Specification of Asynchronous Pi-Calculus Semantics and May Testing in Maude 2.0. Electronic Notes in Theoretical Computer Science, 71:261-281, 2002. [doi]

Authors

Prasanna Thati

This author has not been identified. Look up 'Prasanna Thati' in Google

Koushik Sen

This author has not been identified. Look up 'Koushik Sen' in Google

Narciso Martí-Oliet

This author has not been identified. Look up 'Narciso Martí-Oliet' in Google