Compatibility and inheritance in software architectures
- 1 October 2001
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 41 (2) , 105-138
- https://doi.org/10.1016/s0167-6423(01)00002-8
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- A calculus of mobile processes, IPublished by Elsevier ,2004
- Formalizing architectural connectionPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A classification and comparison framework for software architecture description languagesIEEE Transactions on Software Engineering, 2000
- Specification and Refinement of Dynamic Software ArchitecturesPublished by Springer Nature ,1999
- A formal basis for architectural connectionACM Transactions on Software Engineering and Methodology, 1997
- Research directions in software compositionACM Computing Surveys, 1995
- Abstractions for software architecture and tools to support themIEEE Transactions on Software Engineering, 1995
- The mobility workbench — A tool for the π-CalculusPublished by Springer Nature ,1994
- A theory of bisimulation for the π-calculusPublished by Springer Nature ,1993
- Termination, deadlock, and divergenceJournal of the ACM, 1992