Checking assumptions in component dynamics at the architecture level. (1997)

by P Inverardi, A L Wolf, D Yankelevich
Venue:In Coordination Languages and Models,