Title of article

Action systems in incremental and aspect-oriented modeling

Author/Authors

R. Kurki-Suonio ، نويسنده ,

Issue Information

روزنامه با شماره پیاپی سال 2003

Pages

17

From page

201

To page

217

Keywords

Action systems – Aspects – Formal specification– Incremental modeling – Superposition – TLA

Journal title

DISTRIBUTED COMPUTING

Serial Year

2003

Journal title

DISTRIBUTED COMPUTING

Record number

297764