π-ADL: An Architecture Description Language based on the Higher-Order Typed π-Calculus for Specifying Dynamic (2004)

by F Oquendo
Venue:and Mobile Software Architectures, ACM Software Engineering Notes