Modelling interoperability by CHAM: A case study

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1061, Issue , 1996, Pages 428-431

  Lnverardi, Paola ^a   Compare, Danlele ^a  

^a UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0042304354     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61052-9_65     Document Type: Conference Paper

References (6)

1. R. Allen and D. Garlan. Formalizing Architectural Connection. In Proc. of the i6th Int. Conf. on Software Engineering, pag. 71-80. IEEE Comp. Soc., 1994
2. G. Berry and G. Boudol. The Chemical Abstract Machine. Theoretical Computer Science, 96:217-248, 1992
3. D. Compare. Specifica ed Analisi del Cern Compressing Proxy con la CHAM. Tesi di Laurea in Scienze dell'Informazione, Uni. L'Aquila, December 1995
4. D. Garlan, D. Kindred, and J.M. Wing. Interoperability:Sample Problems and Solutions. Technical report, Carnegie Mellon University, Pittsburgh, Pennsylvania
5. P. Inverardi and A.L. Wolf. Formal Specifications and Analysis of Software Architectures Using the Chemical Abstract Machine Model. IEEE Transactions on Software Engineering, 21(4):100-114, April 1995
6. D. Kindred. The CERN Stream/Unix Filter Adaptor:WRIGHT Specification. Technical report