Marco Bernardo, Edoardo Bontà , Alessandro Aldini. Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation. Journal of Systems and Software, 83(8):1404-1429, 2010. [doi]
Abstract is missing.