References

AAG93

G. Abowd, R. Allen, and D. Garlan.
Using style to understand descriptions of software architecture.
In Proc. SIGSOFT'93: Foundations of Software Engineering, December 1993.

AG92

R. Allen and D. Garlan.
A formal approach to software architectures.
In Proc. IFIP'92, September 1992.

AG94a

R. Allen and D. Garlan.
Formal connectors.
Technical Report CMU-CS-94-115, Carnegie-Mellon University, March 1994.
Available at <ftp://reports.adm.cs.cmu.edu>.

AG94b

R. Allen and D. Garlan.
Formalizing architectural connection.
In Proc. ICSE'94, pages 71-80, Sorrento (Italy), May 1994.

CPT97

C. Canal, E. Pimentel, and J.M. Troya.
A formal definition of compatibility and inheritance for software architectures.
Technical report, Dept. de Lenguajes y Ciencias de la Computación, Universidad de Málaga, June 1997.
A preliminary version was presented at JIS'96, Seville, November 1996. Available at <http://www.fie.us.es/pub/lsi/jids>.

DPT94

M. Diaz, E. Pimentel, and J.M. Troya.
Drol: A distributed and real-time object-oriented logic environment.
Computer Journal, 37(5), 1994.

DRT97a

M. Diaz, B. Rubio, and J.M. Troya.
Distributed programming with a logic channel-based coordination model.
Computer Journal, 1997.
(to appear).

DRT97b

M. Diaz, B. Rubio, and J.M. Troya.
The tuple channel coordination model.
In Proc. ICSE'97 workshop on Software Engineering for Parallel and Distributed Systems, pages 95-106, Boston, May 1997.

EN86

U. Engberg and M. Nielsen.
A calculus of communicating systems with label-passing.
Technical Report DAIMI PB-208, Computer Science Dept., University of Aarhus, 1986.

FT97

L. Fuentes and J.M. Troya.
A component-oriented architecture to design multimedia services on a distributed platform.
In Proc. of WWCA'97 Conference, Tsukuba (Japan), number 1274 in LNCS, pages 90-105. Springer Verlag, 1997.

Gar95

D. Garlan.
Research directions in software architecture.
ACM Computing Surveys, 27(2):257-261, June 1995.

IW95

P. Inverardi and A. L. Wolf.
Formal specification and analysis of software architectures using the chemical abstract machine model.
IEEE Transactions on Software Engineering, 21(4):373-386, April 1995.

MEK95

J. Magee, S. Eisenbach, and J. Kramer.
Modeling darwin in the $\pi$-calculus.
In K.P. Birman, F. Mattern, and A. Schiper, editors, Theory and Practice in Distributed Systems, number 938 in LNCS, pages 133-152. Springer Verlag, 1995.

Mil89

R. Milner.
Communication and Concurrency.
Prentice Hall, 1989.

MK96

J. Magee and J. Kramer.
Dynamic structure in software architectures.
In Proc. of ACM Foundations of Software Engineering, pages 3-14, San Francisco, October 1996.

MP97

J.M. Molina and E. Pimentel.
Modularity in functional-logic programming.
In Proc. ICLP'97, Leuven (Belgium), July 1997. The MIT Press.

MPW92

R. Milner, J. Parrow, and D. Walker.
A calculus of mobile processes.
Journal of Information and Computation, 100:1-77, 1992.

MS95

F. Moller and S. A. Smolka.
On the computational complexity of bisimulation.
ACM Computing Surveys, 27(2):287-289, June 1995.

MT96

P. Merino and J.M. Troya.
Evp: Integration of fdts for the analysis and verification of communication protocols.
In Computer-Aided Verification CAV'96, number 1102 in LNCS, pages 406-410. Sringer Verlag, 1996.

Nie95

O. Nierstrasz.
Requirements for a composition language.
In Proc. of ECOOP'94 workshop on Models and Languages for Coordination of Parallelism and Distribution, number 924 in LNCS, pages 147-161. Springer Verlag, 1995.

NM95

O. Nierstrasz and T.D. Meijler.
Research directions in software composition.
ACM Computing Surveys, 27(2):262-262, June 1995.

Pre96

W. Pree.
Framework Patterns.
SIGS Publications, 1996.

PT93

E. Pimentel and J.M. Troya.
Compositionality issues of concurrent object-oriented logic languages.
In Proc. PARLE'93, number 694 in LNCS, pages 529-540. Springer Verlag, 1993.

S⁺95

M. Shaw et al.
Abstractions for software architecture and tools to support them.
IEEE Transactions on Software Engineering, 21(4):314-335, April 1995.

San93

D. Sangiorgi.
A theory of bisimulation for the $\pi$-calculus.
Technical Report ECS-LFCS-93-270, University of Edinburgh, June 1993.
Available at <http://www.dcs.ed.ac.uk/publications/lfcsreps>.

SG95

M. Shaw and D. Garlan.
Formulations and formalisms in software architecture.
In J. van Leeuwen, editor, Computer Science Today, number 1000 in LNCS, pages 307-323. Springer Verlag, 1995.

SG94

M. Shaw and D. Garlan.
Characteristics of higher-level languages for software architecture.
Technical Report CMU-CS-94-210, Carnegie-Mellon University, December 94.
Available at <ftp://reports.adm.cs.cmu.edu>.

Vic94

B. Victor.
A verification tool for the polyadic $\pi$-calculus.
Master's thesis, Department of Computer Systems, Uppsala University (Sweden), May 1994.
Available as report DoCS 94/50 at <http://www.docs.uu.se/docs/reports>.

VT97

A. Vallecillo and J.M. Troya.
On the addition of properties to components.
In Proc. of ECOOP'97 workshop on Component-Oriented Programming, LNCS. Springer Verlag, 1997.
(in press).

YS97

D. M. Yellin and R. E. Strom.
Protocol specifications and components adaptors.
ACM Trans. on Programming Languages and Systems, 19(2):292-333, March 1997.