References

AG97

R.J. Allen and D. Garlan.
A formal basis for architectural connection.
ACM Transactions on Software Engineering and Methodology, 1997.

All97

R.J. Allen.
A Formal Approach to Software Architecture.
PhD thesis, Carnegie Mellon University, School of Computer Science, 1997.

GMW

D. Garlan, R.T. Monroe, and D. Wile.
Acme: An architecture description interchange language.
Submitted for publication.

Hoa85

C.A.R. Hoare.
Communicating Sequential Processes.
Prentice Hall, 1985.

LAK⁺95

D.C. Luckham, L.M. Augustin, J.J. Kenney, J. Vera, D. Bryan, and W. Mann.
Specification and analysis of system architecture using rapide.
IEEE Transactions on Software Engineering, 1995.

Med97

N. Medvidovic.
A classification and comparison framework for software architecture description languages.
Technical report, University of California, Irvine, Department of Information and Computer Science, 1997.

MK96

J. Magee and J. Kramer.
Dynamic structure in software architectures.
In Proceedings of the Fourth ACM SIGSOFT Symposium on the Foundations of Software Engineering, 1996.

RD95

J.G. Rivera and A.A. Danylyszyn.
Formalizing the uni-processor simplex architecture.
Technical report, Carnegie Mellon University School of Computer Science, 1995.

SDK⁺95

M. Shaw, R. DeLine, D.V. Klein, T.L. Ross, D.M. Young, and G. Zelesnik.
Abstractions for software architecture and tools to support them.
IEEE Transactions on Software Engineering, 1995.