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]

Authors

Taolue Chen

This author has not been identified. Look up 'Taolue Chen' in Google

Bas Ploeger

This author has not been identified. Look up 'Bas Ploeger' in Google

Jaco van de Pol

This author has not been identified. Look up 'Jaco van de Pol' in Google

Tim A. C. Willemse

This author has not been identified. Look up 'Tim A. C. Willemse' in Google