Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems

Taolue Chen, Bas Ploeger, Jaco van de Pol, Tim A. C. Willemse. Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems. In Luís Caires, Vasco Thudichum Vasconcelos, editors, CONCUR 2007 - Concurrency Theory, 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings. Volume 4703 of Lecture Notes in Computer Science, pages 120-135, Springer, 2007. [doi]

Abstract

Abstract is missing.