# Compositional verification of asynchronous concurrent systems using CADP

> Research article (Acta Informatica, 2015) · cited 33× · AI/ML

**Wikidata**: [openalex:W1968049993](https://www.wikidata.org/wiki/openalex:W1968049993)  
**Source**: https://4ort.xyz/entity/compositional-verification-of-asynchronous-concurrent-systems-using-cadp