Towards an algebra of architectural connectors: a case study on synchronization for mobility

This publication has 7 references indexed in Scilit:

• A mathematical toolbox for the software architect
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Mobile UNITY
  ACM Transactions on Software Engineering and Methodology, 1997
• Categorical semantics of parallel program design
  Science of Computer Programming, 1997
• Using object-oriented typing to support architectural design in the C2 style
  Published by Association for Computing Machinery (ACM) ,1996
• Software architecture styles as graph grammars
  Published by Association for Computing Machinery (ACM) ,1996
• Foundations for the study of software architecture
  ACM SIGSOFT Software Engineering Notes, 1992
• The evolving philosophers problem: dynamic change management
  IEEE Transactions on Software Engineering, 1990