next up previous
Next: Accessed and updated functions Up: Informal Semantics of ``accesses'' Previous: Informal Semantics of ``accesses''

Accessed and updated functions in Sub-Asms

If an asm B is used in A as a sub-asm, the accessed and updated functions in B are directly linked to the corresponding functions in A. That means that if B updates a function declared in A, the update is visible for both A and B in the subsequent step. This can be done in this way, because A and B step simultaneously; the rules of B are regarded as part of the rules of A. Similarly, if B accesses a sub-asm C, then firing C in B has the same effect than firing C in A.

Philipp Kutter 2002-03-18