lsc
Typesetting Live Sequence Charts.
- Version:
- Copyright:
- License:
- Packaged on:
- 03/04/2006 19:57:28
- Number of files:
- 6
- Size on disk:
- 272.94 kB
This package is similar to the msc package in that it provides macros for typesetting a variant of sequence diagrams, in this case the Live Sequence Charts of Damm and Harel. The package supports the full LSC language of the original LSC paper, the Klose-extensions for formal verification and some of the Harel-extensions for the Play-In/Play-Out approach (cf. the manual).