Multiple instances and symbolic variables in executable sequence charts.

Rami Marelly, David Harel, Hillel Kugler

Browse the full OOPSLA paper archive.