[an error occurred while processing this directive]
[an error occurred while processing this directive]Citation: | Wolfgang May, "Specifying Complex and Structured Systems with Evolving Algebras", in M. Bidoit and M. Dauchet, eds., "Proceedings of TAPSOFT'97: Theory and Practice of Software Development, 7th International Joint Conference CAAP/FASE", Springer Lecture Notes in Computer Science 1214, 535-549. |
---|---|
Summary: | An approach is presented for specifying complex, structured systems with ASMs by means of aggregation and composition. |
Subjects: | ASM Explorations |
Download: | PostScript, PDF, Compressed PostScript |
Notes: |