%0 Conference Proceedings %F archlog23 %A Oquendo, Flavio %T {Formally Describing Dynamic Software Architectures with $\pi$-ADL} %B Proceedings of the 3rd International Conference on Applied Mathematics and Computer Science (AMCOS'04) %P 154-160 %C Rio de Janeiro, Brazil %8 October %D 2004 %K ARCHLOG