This site shuts down every night at 01:00 local time, to refresh the database. There are fewer than 10 minutes until that shutdown. If you have not completed your upload when the sites shuts down then you will lose your work.
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).
If possible, get this package from your distribution using its installation manager. (For installation help, click on your distribution's name.)
| Distribution | Package name |
|---|---|
| MiKTeX | lsc |
| TeX Live | lsc |
You can also visit lsc's CTAN directory to browse the source or download the material for installation by hand.
| Documentation on CTAN |
|
||
| Documentation off CTAN | -none known- | ||
| Maintainers |
|
||
| Version | -not known- | ||
| License | LaTeX Project Public License | ||
| Related packages | -none recorded- | ||
| Keywords |
|
||
| Characterizations |
You can suggest changes to the keywords and characterizations and the maintainer information.
You can get information about any package.