Springer
Lecture Notes in Computer Science
International Workshop on Parallel and Distributed Methods in Verification
Specification and Analysis of Embedded Systems

van de Pol, J., & Espada, M. V. (2004). Modal abstractions in $ \mu $ CRL. In Proceedings of International Conference on Algebraic Methodolody and Software Technology 2004 (pp. 409–425). Springer.