114
click to vote
TAPSOFT
1997
Springer
15 years 7 months ago
1997
Springer
This paper presents an approach for specifying complex, structured systems with Evolving Algebras by means of aggregation and composition. Evolving algebras provide a formal method...