Formal speci cation and analysis of software architectures using the chemical, abstract machine model (1995)

by Paola Inverardi, Alex Wolf
Venue:IEEE Transactions on Software Engineering, Special Issue on Software Architecture