Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Flávio Oquendo. pi-ADL: an Architecture Description Language based on the higher-order typed pi-calculus for specifying dynamic and mobile software architectures. ACM SIGSOFT Software Engineering Notes, 29(3):1-14, 2004. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Dynamic Software Architectures: Formally Modelling Structure and Behaviour with Pi-ADLFlávio Oquendo. icsea 2008: 352-359 [doi] pi-AAL: an architecture analysis language for formally specifying and verifying structural and behavioural properties of software architecturesRadu Mateescu, Flávio Oquendo. sigsoft, 31(2):1-19, 2006. [doi] pi-SPACE: A Formal Architecture Description Language Based on Process Algebra for Evolving Software SystemsChristelle Chaudet, Flávio Oquendo. ASE 2000: 245-248 [doi]
The following publications are possibly variants of this publication: