Specifying and Verifying Parametric Processes.

Wieslaw Pawlowski, Pawel Paczkowski, Stefan Sokolowski

Browse the full MFCS paper archive.