Parameterized Verification of pi-Calculus Systems.

Ping Yang Samik Basu C. R. Ramakrishnan

Published in: TACAS (2006)

Keyphrases

management system
building blocks
complex systems
learning systems
software engineering
intelligent systems
expert systems
mobile devices
query language
computer systems