Toward a Performance Evaluation Methodology for the Pi-Calculus Family of Formal Modeling Languages

Shahram Rahimi. Toward a Performance Evaluation Methodology for the Pi-Calculus Family of Formal Modeling Languages. Scalable Computing: Practice and Experience, 7(1), 2006. [doi]

Abstract

Abstract is missing.