On the formalization of architectural types with process algebras

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn , Issue , 2000, Pages 140-148

  Bernardo, M ^a   Ciancarini, P ^a   Donatiello, L ^a  

^a UNIVERSITY OF TURIN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BOOLEAN ALGEBRA; COMPUTER ARCHITECTURE; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; EQUIVALENCE CLASSES; SEMANTICS; SOFTWARE PROTOTYPING;

ARCHITECTURAL DESCRIPTION LANGUAGES; ARCHITECTURAL TYPES; PROCESS ALGEBRAS;

SOFTWARE ENGINEERING;

EID: 0034448431     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/355045.355064     Document Type: Conference Paper

References (12)

1. Formalizing style to understand descriptions of software architecture
2. Specifying and analyzing dynamic software architectures
3. A formal basis for architectural connection
4. A case study in architectural modelling: The AEGIS system
5. Performance analysis of software architectures via a process algebraic description language
6. The concurrency workbench: A semantics-based tool for the verification of concurrent systems
7. Communicating sequential processes
8. Specifying distributed software architectures
9. A calculus of mobile processes
10. Foundations for the study of software architecture
11. Software architecture: Perspectives on an emerging discipline