Specifying and Verifying Parametric Processes

Wieslaw Pawlowski, Pawel Paczkowski, Stefan Sokolowski. Specifying and Verifying Parametric Processes. In Wojciech Penczek, Andrzej Szalas, editors, Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS 96, Cracow, Poland, September 2-6, 1996, Proceedings. Volume 1113 of Lecture Notes in Computer Science, pages 469-481, Springer, 1996.

Abstract

Abstract is missing.