Specifying and analyzing dynamic software architectures

This publication has 8 references indexed in Scilit:

• A formal basis for architectural connection
  ACM Transactions on Software Engineering and Methodology, 1997
• Dynamic structure in software architectures
  Published by Association for Computing Machinery (ACM) ,1996
• Specification and analysis of system architecture using Rapide
  IEEE Transactions on Software Engineering, 1995
• Abstractions for software architecture and tools to support them
  IEEE Transactions on Software Engineering, 1995
• Formal specification and analysis of software architectures using the chemical abstract machine model
  IEEE Transactions on Software Engineering, 1995
• The temporal logic of actions
  ACM Transactions on Programming Languages and Systems, 1994
• Compile-time detection of information flow in sequential programs
  Published by Springer Nature ,1994
• Notes on Communicating Sequential Systems
  Published by Springer Nature ,1986