My paper, accepted for presentation at the 13th International Symposium on Theoretical Aspects of Software Engineering, describes a denotational semantics for dynamically evolving architectures based on fixed points in lattices.
Software Engineering and Formal Methods
My paper, accepted for presentation at the 13th International Symposium on Theoretical Aspects of Software Engineering, describes a denotational semantics for dynamically evolving architectures based on fixed points in lattices.
