next up previous
Next: Sending and receiving actions Up: Interfacing a model with Previous: I/O-coupling field declaration


End of definition phase

Each process implied in the coupling closes the definition phase.



Reinhard Budich 2004-12-22