Multiple instances and symbolic variables in executable sequence charts

Rami Marelly, David Harel, Hillel Kugler. Multiple instances and symbolic variables in executable sequence charts. In OOPSLA. pages 83-100, 2002. [doi]

Abstract

Abstract is missing.