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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.