Formal specification and analysis of software architectures using the chemical abstract machine model (1995)

by P Inverardi, A Wolf
Venue:IEEE Transactions on Software Engineering, Special Issue on Software Architecture